HelenOS sources

CAP_STATE_ALLOCATED  282 kernel/generic/src/cap/cap.c 	cap->state = CAP_STATE_ALLOCATED;
CAP_STATE_ALLOCATED  304 kernel/generic/src/cap/cap.c 	cap_t *cap = cap_get(task, handle, CAP_STATE_ALLOCATED);
CAP_STATE_ALLOCATED  320 kernel/generic/src/cap/cap.c 	cap->state = CAP_STATE_ALLOCATED;
CAP_STATE_ALLOCATED  400 kernel/generic/src/cap/cap.c 	cap_t *cap = cap_get(task, handle, CAP_STATE_ALLOCATED);