| /seL4-master/include/ |
| A D | machine.h | 24 static inline paddr_t CONST addrFromPPtr(const void *pptr) in addrFromPPtr()
31 static inline paddr_t CONST addrFromKPPtr(const void *pptr) in addrFromKPPtr()
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace.c | 392 static BOOT_CODE cap_t create_it_page_table_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t … in create_it_page_table_cap()
407 static BOOT_CODE cap_t create_it_page_directory_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asi… in create_it_page_directory_cap()
466 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, in create_it_frame_cap()
490 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) in create_unmapped_it_frame_cap()
495 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid,… in create_mapped_it_frame_cap()
646 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vaddr, void *pptr) in modeUnmapPage()
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 532 void *pptr = (void *)cap_frame_cap_get_capFBasePtr(frame_cap); in map_it_frame_cap() local
639 static BOOT_CODE cap_t create_it_pdpt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) in create_it_pdpt_cap()
652 static BOOT_CODE cap_t create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) in create_it_pd_cap()
665 static BOOT_CODE cap_t create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) in create_it_pt_cap()
762 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large,… in create_it_frame_cap()
784 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) in create_unmapped_it_frame_cap()
789 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid,… in create_mapped_it_frame_cap()
1430 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vaddr, void *pptr) in modeUnmapPage()
|
| /seL4-master/include/arch/riscv/arch/ |
| A D | types.h | 44 pptr_t pptr; member
|
| /seL4-master/include/arch/arm/arch/ |
| A D | types.h | 45 pptr_t pptr; member
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | vspace.c | 113 word_t pptr = PPTR_BASE; in map_kernel_window() local
222 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) in create_unmapped_it_frame_cap()
237 static BOOT_CODE cap_t create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) in create_it_pt_cap()
553 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr) in unmapPage()
1169 pptr_t pptr = (pptr_t)(getPPtrFromHWPTE(ret.ptSlot)); in Arch_userStackTrace() local
|
| A D | boot.c | 28 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, boo… in create_mapped_it_frame_cap()
|
| /seL4-master/include/kernel/ |
| A D | boot.h | 17 #define SLOT_PTR(pptr, pos) (((slot_ptr_t)(pptr)) + (pos)) argument
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 311 void *pptr = (void *)cap_frame_cap_get_capFBasePtr(frame_cap); in map_it_frame_cap() local
348 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large) in create_it_frame_cap()
392 static BOOT_CODE cap_t create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) in create_it_pt_cap()
426 static BOOT_CODE cap_t create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) in create_it_pd_cap()
452 static BOOT_CODE cap_t create_it_pud_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) in create_it_pud_cap()
526 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) in create_unmapped_it_frame_cap()
531 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, boo… in create_mapped_it_frame_cap()
1330 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr) in unmapPage()
|
| /seL4-master/src/kernel/ |
| A D | boot.c | 440 pptr_t pptr; in create_idle_thread() local
575 pptr_t pptr, in provide_untyped_cap()
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 420 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large) in create_it_frame_cap()
470 static BOOT_CODE cap_t create_it_page_table_cap(cap_t pd, pptr_t pptr, vptr_t vptr, asid_t asid) in create_it_page_table_cap()
530 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) in create_unmapped_it_frame_cap()
535 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, boo… in create_mapped_it_frame_cap()
1325 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr)
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | vspace.c | 707 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) in unmapPage()
|
| A D | ept.c | 962 void unmapEPTPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) in unmapEPTPage()
|