HelenOS sources

CAP_STATE_PUBLISHED  306 kernel/generic/src/cap/cap.c 	cap->state = CAP_STATE_PUBLISHED;
CAP_STATE_PUBLISHED  344 kernel/generic/src/cap/cap.c 	cap_t *cap = cap_get(task, handle, CAP_STATE_PUBLISHED);
CAP_STATE_PUBLISHED  453 kernel/generic/src/cap/cap.c 	cap_t *cap = cap_get(task, handle, CAP_STATE_PUBLISHED);