Searched refs:write_slot (Results 1 - 10 of 10) sorted by relevance
| /seL4-l4v-10.1.1/seL4/src/kernel/ |
| H A D | boot.c | 120 write_slot(slot_ptr_t slot_ptr, cap_t cap) function
161 write_slot(SLOT_PTR(pptr, seL4_CapInitThreadCNode), cap);
203 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapDomain), cap);
223 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapInitThreadIPCBuffer), cap);
240 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapBootInfoFrame), cap);
309 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), ndks_boot.slot_pos_cur), cap);
363 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapInitThreadASIDPool), ap_cap);
366 write_slot(
471 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapInitThreadTCB), cap);
|
| /seL4-l4v-10.1.1/seL4/include/kernel/ |
| H A D | boot.h | 52 void write_slot(slot_ptr_t slot_ptr, cap_t cap);
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
| H A D | boot.c | 69 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapIRQControl), cap_irq_control_cap_new());
315 write_slot(
480 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapIOSpace), master_iospace_cap());
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/kernel/ |
| H A D | boot.c | 188 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapIRQControl), cap_irq_control_cap_new());
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
| H A D | boot.c | 198 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapIRQControl), cap_irq_control_cap_new());
|
| H A D | vspace.c | 265 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapInitThreadVSpace), lvl1pt_cap);
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 461 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapInitThreadVSpace), pd_cap);
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 720 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapInitThreadVSpace), vspace_cap);
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 578 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapInitThreadVSpace), pd_cap);
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 510 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapInitThreadVSpace), vspace_cap);
|
Completed in 125 milliseconds