|
|
|
@ -87,15 +87,15 @@ ck_barrier_mcs_check_children(unsigned int *childnotready)
|
|
|
|
|
{
|
|
|
|
|
|
|
|
|
|
if (ck_pr_load_uint(&childnotready[0]) != 0)
|
|
|
|
|
return (false);
|
|
|
|
|
return false;
|
|
|
|
|
if (ck_pr_load_uint(&childnotready[1]) != 0)
|
|
|
|
|
return (false);
|
|
|
|
|
return false;
|
|
|
|
|
if (ck_pr_load_uint(&childnotready[2]) != 0)
|
|
|
|
|
return (false);
|
|
|
|
|
return false;
|
|
|
|
|
if (ck_pr_load_uint(&childnotready[3]) != 0)
|
|
|
|
|
return (false);
|
|
|
|
|
return false;
|
|
|
|
|
|
|
|
|
|
return (true);
|
|
|
|
|
return true;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
CK_CC_INLINE static void
|
|
|
|
|