417 |
__attribute__((always_inline)) |
__attribute__((always_inline)) |
418 |
_hurd_cap_bucket_cond_check (hurd_cap_bucket_t bucket) |
_hurd_cap_bucket_cond_check (hurd_cap_bucket_t bucket) |
419 |
{ |
{ |
420 |
if (bucket->state == _HURD_CAP_STATE_YELLOW && !_hurd_cap_bucket_cond_busy) |
if (bucket->state == _HURD_CAP_STATE_YELLOW |
421 |
|
&& !_hurd_cap_bucket_cond_busy (bucket)) |
422 |
{ |
{ |
423 |
bucket->state == _HURD_CAP_STATE_RED; |
bucket->state == _HURD_CAP_STATE_RED; |
424 |
pthread_cond_broadcast (&bucket->cond); |
pthread_cond_broadcast (&bucket->cond); |