Searched refs:grant (Results 1 - 5 of 5) sorted by relevance
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | ipc_rights.c | 158 bool grant = seL4_CapRights_get_capAllowGrant(rights); local
164 start_helper(env, &t, (helper_fn_t)check_recv_cap, (seL4_Word)env, ep, grant, reply);
170 if (grant) {
184 DEFINE_TEST(IPCRIGHTS0003, "seL4_Send with caps needs grant", test_send_cap_needs_grant, true)
234 bool grant = seL4_CapRights_get_capAllowGrant(rights); local
242 grant || grant_reply, mode == reply_recv);
246 if (grant || grant_reply) {
292 DEFINE_TEST(IPCRIGHTS0004, "seL4_Call needs grant or grant-reply",
349 bool grant local
[all...] |
| /seL4-test-master/kernel/include/kernel/ |
| H A D | thread.h | 177 word_t badge, bool_t grant, tcb_t *receiver);
179 void doReplyTransfer(tcb_t *sender, reply_t *reply, bool_t grant);
181 void doReplyTransfer(tcb_t *sender, tcb_t *receiver, cte_t *slot, bool_t grant);
|
| /seL4-test-master/kernel/src/kernel/ |
| H A D | thread.c | 108 bool_t grant, tcb_t *receiver)
116 doNormalTransfer(sender, sendBuffer, endpoint, badge, grant,
124 void doReplyTransfer(tcb_t *sender, reply_t *reply, bool_t grant) argument
126 void doReplyTransfer(tcb_t *sender, tcb_t *receiver, cte_t *slot, bool_t grant)
147 doIPCTransfer(sender, NULL, 0, grant, receiver);
107 doIPCTransfer(tcb_t *sender, endpoint_t *endpoint, word_t badge, bool_t grant, tcb_t *receiver) argument
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
| H A D | vclock.c | 323 int vm_clock_config(struct clock_device *clkd, enum clk_id clk_id, int grant) argument
335 if (grant) {
|
| /seL4-test-master/kernel/manual/parts/ |
| H A D | objects.tex | 96 \emph{take-grant}-based model~\cite{Elkaduwe_GE_08,Boyton_09}.
297 capabilities can have the grant right, which allows sending
|
Completed in 37 milliseconds