HelenOS sources

cap_t             133 kernel/generic/include/cap/cap.h     bool (*)(cap_t *, void *), void *);
cap_t             110 kernel/generic/src/cap/cap.c 	cap_t *cap = hash_table_get_inst(item, cap_t, caps_link);
cap_t             123 kernel/generic/src/cap/cap.c 	cap_t *cap = hash_table_get_inst(item, cap_t, caps_link);
cap_t             135 kernel/generic/src/cap/cap.c 	cap_cache = slab_cache_create("cap_t", sizeof(cap_t), 0, NULL,
cap_t             201 kernel/generic/src/cap/cap.c     bool (*cb)(cap_t *, void *), void *arg)
cap_t             207 kernel/generic/src/cap/cap.c 		cap_t *cap = list_get_instance(cur, cap_t, type_link);
cap_t             223 kernel/generic/src/cap/cap.c static void cap_initialize(cap_t *cap, task_t *task, cap_handle_t handle)
cap_t             241 kernel/generic/src/cap/cap.c static cap_t *cap_get(task_t *task, cap_handle_t handle, cap_state_t state)
cap_t             251 kernel/generic/src/cap/cap.c 	cap_t *cap = hash_table_get_inst(link, cap_t, caps_link);
cap_t             268 kernel/generic/src/cap/cap.c 	cap_t *cap = slab_alloc(cap_cache, FRAME_ATOMIC);
cap_t             304 kernel/generic/src/cap/cap.c 	cap_t *cap = cap_get(task, handle, CAP_STATE_ALLOCATED);
cap_t             315 kernel/generic/src/cap/cap.c static void cap_unpublish_unsafe(cap_t *cap)
cap_t             344 kernel/generic/src/cap/cap.c 	cap_t *cap = cap_get(task, handle, CAP_STATE_PUBLISHED);
cap_t             379 kernel/generic/src/cap/cap.c 		cap_t *cap = list_get_instance(cur, cap_t, kobj_link);
cap_t             400 kernel/generic/src/cap/cap.c 	cap_t *cap = cap_get(task, handle, CAP_STATE_ALLOCATED);
cap_t             453 kernel/generic/src/cap/cap.c 	cap_t *cap = cap_get(task, handle, CAP_STATE_PUBLISHED);
cap_t             777 kernel/generic/src/ipc/ipc.c static bool phone_cap_cleanup_cb(cap_t *cap, void *arg)
cap_t             812 kernel/generic/src/ipc/ipc.c static bool irq_cap_cleanup_cb(cap_t *cap, void *arg)
cap_t             818 kernel/generic/src/ipc/ipc.c static bool call_cap_cleanup_cb(cap_t *cap, void *arg)
cap_t             927 kernel/generic/src/ipc/ipc.c static bool print_task_phone_cb(cap_t *cap, void *arg)
cap_t              60 kernel/generic/src/synch/syswaitq.c static bool waitq_cap_cleanup_cb(cap_t *cap, void *arg)
cap_t             384 kernel/generic/src/sysinfo/stats.c static bool produce_stats_ipcc_cb(cap_t *cap, void *arg)