Searched defs:dc_ret (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dtcb.c51 deriveCap_ret_t dc_ret; local
/seL4-camkes-master/kernel/src/kernel/
H A Dthread.c266 deriveCap_ret_t dc_ret; local
H A Dboot.c465 deriveCap_ret_t dc_ret = deriveCap(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapInitThreadIPCBuffer), ipcbuf_cap); local
/seL4-camkes-master/kernel/src/object/
H A Dcnode.c80 deriveCap_ret_t dc_ret; local
H A Dtcb.c1038 deriveCap_ret_t dc_ret; local
1398 deriveCap_ret_t dc_ret; local
1444 deriveCap_ret_t dc_ret; local
[all...]

Completed in 42 milliseconds