HelenOS sources

cap_get           304 kernel/generic/src/cap/cap.c 	cap_t *cap = cap_get(task, handle, CAP_STATE_ALLOCATED);
cap_get           344 kernel/generic/src/cap/cap.c 	cap_t *cap = cap_get(task, handle, CAP_STATE_PUBLISHED);
cap_get           400 kernel/generic/src/cap/cap.c 	cap_t *cap = cap_get(task, handle, CAP_STATE_ALLOCATED);
cap_get           453 kernel/generic/src/cap/cap.c 	cap_t *cap = cap_get(task, handle, CAP_STATE_PUBLISHED);