Searched refs:create_ipcbuf_frame_cap (Results 1 - 5 of 5) sorted by relevance
/seL4-refos-master/kernel/include/kernel/ |
H A D | boot.h | 68 cap_t create_ipcbuf_frame_cap(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr);
|
/seL4-refos-master/kernel/src/arch/x86/kernel/ |
H A D | boot.c | 280 ipcbuf_cap = create_ipcbuf_frame_cap(root_cnode_cap, it_vspace_cap, ipcbuf_vptr);
|
/seL4-refos-master/kernel/src/arch/riscv/kernel/ |
H A D | boot.c | 333 ipcbuf_cap = create_ipcbuf_frame_cap(root_cnode_cap, it_pd_cap, ipcbuf_vptr);
|
/seL4-refos-master/kernel/src/arch/arm/kernel/ |
H A D | boot.c | 471 ipcbuf_cap = create_ipcbuf_frame_cap(root_cnode_cap, it_pd_cap, ipcbuf_vptr);
|
/seL4-refos-master/kernel/src/kernel/ |
H A D | boot.c | 280 BOOT_CODE cap_t create_ipcbuf_frame_cap(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr) function
|
Completed in 34 milliseconds