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