Searched defs:grant (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dipc_rights.c158 bool grant = seL4_CapRights_get_capAllowGrant(rights); local
234 bool grant = seL4_CapRights_get_capAllowGrant(rights); local
349 bool grant local
[all...]
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvclock.c323 int vm_clock_config(struct clock_device *clkd, enum clk_id clk_id, int grant) argument
/seL4-test-master/kernel/src/kernel/
H A Dthread.c124 void doReplyTransfer(tcb_t *sender, reply_t *reply, bool_t grant) argument
107 doIPCTransfer(tcb_t *sender, endpoint_t *endpoint, word_t badge, bool_t grant, tcb_t *receiver) argument

Completed in 38 milliseconds