Searched defs:pd_cap (Results 1 - 8 of 8) sorted by relevance
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/fastpath/ |
H A D | fastpath.h | 75 static inline bool_t isValidVTableRoot_fp(cap_t pd_cap) argument
|
/seL4-test-master/kernel/src/arch/riscv/kernel/ |
H A D | boot.c | 52 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t argument
|
/seL4-test-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 122 BOOT_CODE void map_it_pd_cap(cap_t vspace_cap, cap_t pd_cap) argument 128 BOOT_CODE void map_it_frame_cap(cap_t pd_cap, cap_t frame_cap) argument
|
H A D | vspace.c | 442 cap_t pd_cap = create_it_page_directory_cap(cap_null_cap_new(), rootserver.vspace, 0, IT_ASID); local
|
/seL4-test-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) argument 291 BOOT_CODE void create_bi_frame_cap(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr) argument 344 create_frames_of_region( cap_t root_cnode_cap, cap_t pd_cap, region_t reg, bool_t do_map, sword_t pv_offset ) argument
|
/seL4-test-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 525 BOOT_CODE void map_it_frame_cap(cap_t pd_cap, cap_t frame_cap) argument 579 BOOT_CODE void map_it_pd_cap(cap_t vspace_cap, cap_t pd_cap) argument
|
/seL4-test-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 420 static BOOT_CODE void map_it_frame_cap(cap_t pd_cap, cap_t frame_cap, bool_t executable) argument 489 static BOOT_CODE void map_it_pt_cap(cap_t pd_cap, cap_t pt_cap) argument 543 cap_t pd_cap = local 576 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, argument [all...] |
/seL4-test-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 400 static BOOT_CODE void map_it_pd_cap(cap_t vspace_cap, cap_t pd_cap) argument 526 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, argument
|
Completed in 102 milliseconds