Lines Matching defs:pptr
532 void *pptr = (void *)cap_frame_cap_get_capFBasePtr(frame_cap);
547 pptr_to_paddr(pptr), /* page_base_address */
639 static BOOT_CODE cap_t create_it_pdpt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid)
644 pptr, /* capPDPTBasePtr */
652 static BOOT_CODE cap_t create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid)
657 pptr, /* capPDBasePtr */
665 static BOOT_CODE cap_t create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid)
670 pptr, /* capPTBasePtr */
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)
775 pptr, /* capFBasePtr */
784 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large)
786 return create_it_frame_cap(pptr, 0, asidInvalid, use_large, X86_MappingNone);
789 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,
792 cap_t cap = create_it_frame_cap(pptr, vptr, asid, use_large, X86_MappingVSpace);
1433 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vaddr, void *pptr)
1447 == pptr_to_paddr(pptr)))) {