Searched refs:cteInsert (Results 1 - 12 of 12) sorted by relevance
| /seL4-l4v-10.1.1/seL4/include/object/ |
| H A D | cnode.h | 36 void cteInsert(cap_t newCap, cte_t *srcSlot, cte_t *destSlot);
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
| H A D | tcb.c | 45 cteInsert(cap, slot, rootSlot);
|
| H A D | ioport.c | 103 cteInsert(cap_io_port_cap_new(first_port, last_port
|
| /seL4-l4v-10.1.1/seL4/src/object/ |
| H A D | interrupt.c | 89 cteInsert(cap_irq_handler_cap_new(irq), controlSlot, handlerSlot);
158 cteInsert(cap, slot, irqSlot);
|
| H A D | tcb.c | 282 cteInsert(cap_reply_cap_new(false, TCB_REF(sender)),
1426 cteInsert(cRoot_newCap, cRoot_srcSlot, rootSlot);
1440 cteInsert(vRoot_newCap, vRoot_srcSlot, rootSlot);
1458 cteInsert(bufferCap, bufferSrcSlot, bufferSlot);
|
| H A D | cnode.c | 339 cteInsert(cap, srcSlot, destSlot);
414 cteInsert(cap_t newCap, cte_t *srcSlot, cte_t *destSlot) function
429 /* Haskell error: "cteInsert to non-empty destination" */
431 /* Haskell error: "cteInsert: mdb entry must be empty" */
|
| /seL4-l4v-10.1.1/seL4/src/kernel/ |
| H A D | boot.c | 434 cteInsert(
439 cteInsert(
444 cteInsert(
|
| H A D | thread.c | 241 cteInsert(dc_ret.cap, slot, destSlot);
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
| H A D | vspace.c | 458 cteInsert(
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
| H A D | vspace.c | 67 cteInsert(
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 2185 cteInsert(cap_asid_pool_cap_new(asid_base, WORD_REF(frame)),
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1716 cteInsert(
|
Completed in 111 milliseconds