82 |
|
|
83 |
/* Lookup the client with client ID CLIENT_ID and return it in |
/* Lookup the client with client ID CLIENT_ID and return it in |
84 |
*R_CLIENT with one reference for the entry in the bucket. It is |
*R_CLIENT with one reference for the entry in the bucket. It is |
85 |
*verified that the client is in fact the one with the task ID |
verified that the client is in fact the one with the task ID |
86 |
*TASK_ID. */ |
TASK_ID. */ |
87 |
static error_t |
static error_t |
88 |
__attribute__((always_inline)) |
__attribute__((always_inline)) |
89 |
lookup_client (hurd_cap_bucket_t bucket, hurd_cap_client_id_t client_id, |
lookup_client (hurd_cap_bucket_t bucket, hurd_cap_client_id_t client_id, |