| /seL4-mcs-10.1.1/include/ |
| H A D | machine.h | 27 addrFromPPtr(void* pptr) argument
|
| /seL4-mcs-10.1.1/include/plat/spike/plat/machine/ |
| H A D | hardware.h | 102 kpptr_to_paddr(void *pptr) argument
|
| /seL4-mcs-10.1.1/include/arch/arm/arch/ |
| H A D | types.h | 53 pptr_t pptr; member in struct:kernel_frame
|
| /seL4-mcs-10.1.1/src/arch/riscv/kernel/ |
| H A D | boot.c | 58 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 | 109 word_t pptr = PPTR_BASE; local
206 create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) argument
222 create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
554 unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr) argument
1241 pptr_t pptr = (pptr_t) (getPPtrFromHWPTE(ret.ptSlot)); local
[all...] |
| /seL4-mcs-10.1.1/src/kernel/ |
| H A D | boot.c | 139 pptr_t pptr; local
171 pptr_t pptr; local
211 pptr_t pptr; local
229 create_bi_frame_cap( cap_t root_cnode_cap, cap_t pd_cap, pptr_t pptr, vptr_t vptr ) argument
254 pptr_t pptr = alloc_region(size_bits); local
275 pptr_t pptr; local
417 pptr_t pptr; local
457 pptr_t pptr; local
552 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
[all...] |
| /seL4-mcs-10.1.1/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 408 create_it_page_table_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
424 create_it_page_directory_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
446 pptr_t pptr; local
490 create_it_frame_cap(pptr_t pptr, vptr_ argument
514 create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) argument
520 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
672 modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vaddr, void *pptr) argument
[all...] |
| /seL4-mcs-10.1.1/src/arch/x86/kernel/ |
| H A D | ept.c | 1000 unmapEPTPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) argument
|
| H A D | vspace.c | 710 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) argument
|
| /seL4-mcs-10.1.1/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 543 void *pptr = (void*)cap_frame_cap_get_capFBasePtr(frame_cap); local
655 create_it_pdpt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
669 create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
683 create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
701 pptr_t pptr; local
792 create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, seL4_Word map_type) argument
815 create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) argument
821 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
1489 modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vaddr, void *pptr) argument
[all...] |
| /seL4-mcs-10.1.1/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 483 create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large) argument
535 create_it_page_table_cap(cap_t pd, pptr_t pptr, vptr_t vptr, asid_t asid) argument
606 create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) argument
612 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
1441 unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) argument
[all...] |
| /seL4-mcs-10.1.1/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 339 void *pptr = (void*)cap_frame_cap_get_capFBasePtr(frame_cap); local
373 create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large) argument
415 create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
447 create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
476 create_it_pud_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
494 pptr_t pptr; local
562 create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) argument
568 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
1339 unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr) argument
[all...] |