/seL4-l4v-master/seL4/include/ |
H A D | machine.h | 24 static inline paddr_t CONST addrFromPPtr(void *pptr) argument
|
/seL4-l4v-master/seL4/include/arch/arm/arch/ |
H A D | types.h | 48 pptr_t pptr; member in struct:kernel_frame
|
/seL4-l4v-master/seL4/include/arch/riscv/arch/ |
H A D | types.h | 42 pptr_t pptr; member in struct:kernel_frame
|
H A D | machine.h | 260 static inline paddr_t CONST kpptr_to_paddr(void *pptr) argument
|
/seL4-l4v-master/seL4/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
|
H A D | vspace.c | 113 word_t pptr = PPTR_BASE; local 222 create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) argument 237 create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument 553 unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr) argument 1172 pptr_t pptr = (pptr_t)(getPPtrFromHWPTE(ret.ptSlot)); local [all...] |
/seL4-l4v-master/seL4/src/arch/x86/32/kernel/ |
H 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 asid) argument 407 static BOOT_CODE cap_t create_it_page_directory_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument 466 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, argument 490 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) argument 495 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, argument 647 modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vaddr, void *pptr) argument [all...] |
/seL4-l4v-master/seL4/src/arch/x86/kernel/ |
H A D | ept.c | 969 void unmapEPTPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) argument
|
H A D | vspace.c | 707 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) argument
|
/seL4-l4v-master/seL4/src/kernel/ |
H A D | boot.c | 427 pptr_t pptr; local 559 provide_untyped_cap( cap_t root_cnode_cap, bool_t device_memory, pptr_t pptr, word_t size_bits, seL4_SlotPos first_untyped_slot ) argument
|
/seL4-l4v-master/seL4/src/arch/x86/64/kernel/ |
H A D | vspace.c | 532 void *pptr = (void *)cap_frame_cap_get_capFBasePtr(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) argument 652 static BOOT_CODE cap_t create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument 665 static BOOT_CODE cap_t create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument 762 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, seL4_Word map_type) argument 784 create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) argument 789 create_mapped_it_frame_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable UNUSED) argument 1433 modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vaddr, void *pptr) argument [all...] |
/seL4-l4v-master/seL4/src/arch/arm/32/kernel/ |
H A D | vspace.c | 461 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large) argument 511 static BOOT_CODE cap_t create_it_page_table_cap(cap_t pd, pptr_t pptr, vptr_t vptr, asid_t asid) argument 571 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) argument 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 1374 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) argument [all...] |
/seL4-l4v-master/seL4/src/arch/arm/64/kernel/ |
H A D | vspace.c | 306 void *pptr = (void *)cap_frame_cap_get_capFBasePtr(frame_cap); local 343 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large) argument 387 static BOOT_CODE cap_t create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument 421 static BOOT_CODE cap_t create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument 447 static BOOT_CODE cap_t create_it_pud_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument 521 create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) argument 526 create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable) argument 1325 unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr) argument [all...] |