Searched refs:deriveCap (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-master/seL4/src/arch/x86/object/ |
| H A D | tcb.c | 69 dc_ret = deriveCap(rootSlot, rootCap);
|
| /seL4-l4v-master/seL4/include/object/ |
| H A D | objecttype.h | 18 deriveCap_ret_t deriveCap(cte_t *slot, cap_t cap);
|
| /seL4-l4v-master/seL4/src/object/ |
| H A D | tcb.c | 1074 dc_ret = deriveCap(bufferSlot, bufferCap);
1099 dc_ret = deriveCap(cRootSlot, cRootCap);
1115 dc_ret = deriveCap(vRootSlot, vRootCap);
1400 dc_ret = deriveCap(bufferSlot, bufferCap);
1491 dc_ret = deriveCap(cRootSlot, cRootCap);
1507 dc_ret = deriveCap(vRootSlot, vRootCap);
|
| H A D | cnode.c | 126 dc_ret = deriveCap(srcSlot, srcCap);
146 dc_ret = deriveCap(srcSlot,
|
| H A D | objecttype.c | 62 deriveCap_ret_t deriveCap(cte_t *slot, cap_t cap) function
|
| /seL4-l4v-master/seL4/src/kernel/ |
| H A D | thread.c | 272 dc_ret = deriveCap(slot, cap);
|
| H A D | boot.c | 465 deriveCap_ret_t dc_ret = deriveCap(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapInitThreadIPCBuffer), ipcbuf_cap);
|
Completed in 91 milliseconds