Searched refs:create_bi_frame_cap (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/seL4/include/kernel/
H A Dboot.h72 void create_bi_frame_cap(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr);
/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dboot.c259 create_bi_frame_cap(
/seL4-l4v-master/seL4/src/arch/riscv/kernel/
H A Dboot.c302 create_bi_frame_cap(
/seL4-l4v-master/seL4/src/arch/arm/kernel/
H A Dboot.c440 create_bi_frame_cap(
/seL4-l4v-master/seL4/src/kernel/
H A Dboot.c291 BOOT_CODE void create_bi_frame_cap(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr) function

Completed in 101 milliseconds