Searched defs:reply_cap (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/kernel/src/fastpath/
H A Dfastpath.c274 cap_t reply_cap = lookup_fp(TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbCTable)->cap, reply); local
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/
H A Dfault.h40 cspacepath_t reply_cap; member in struct:fault
/seL4-test-master/kernel/src/api/
H A Dsyscall.c540 cap_t reply_cap = cap_null_cap_new(); local
549 receiveIPC(NODE_STATE(ksCurThread), ep_cap, isBlocking, reply_cap); local
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dipc.c1018 static void ipc22_server_fn(seL4_CPtr init_ep, seL4_CPtr reply_cap) argument

Completed in 32 milliseconds