| /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...] |