Searched refs:create_unmapped_it_frame_cap (Results 1 - 10 of 10) sorted by relevance
/seL4-l4v-master/seL4/include/arch/arm/arch/kernel/ |
H A D | boot.h | 11 cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large);
|
H A D | vspace.h | 19 cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large);
|
/seL4-l4v-master/seL4/include/arch/riscv/arch/kernel/ |
H A D | boot.h | 13 cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large);
|
/seL4-l4v-master/seL4/include/arch/x86/arch/kernel/ |
H A D | boot.h | 26 cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large);
|
/seL4-l4v-master/seL4/src/arch/x86/32/kernel/ |
H A D | vspace.c | 490 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) function
|
/seL4-l4v-master/seL4/src/kernel/ |
H A D | boot.c | 363 frame_cap = create_unmapped_it_frame_cap(f, false);
|
/seL4-l4v-master/seL4/src/arch/x86/64/kernel/ |
H A D | vspace.c | 784 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) function
|
/seL4-l4v-master/seL4/src/arch/riscv/kernel/ |
H A D | vspace.c | 222 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) function
|
/seL4-l4v-master/seL4/src/arch/arm/32/kernel/ |
H A D | vspace.c | 571 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) function
|
/seL4-l4v-master/seL4/src/arch/arm/64/kernel/ |
H A D | vspace.c | 521 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) function
|
Completed in 119 milliseconds