Lines Matching defs:pptr
461 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large)
472 pptr /* capFBasePtr */
485 pptr /* capFBasePtr */
511 static BOOT_CODE cap_t create_it_page_table_cap(cap_t pd, pptr_t pptr, vptr_t vptr, asid_t asid)
518 pptr /* capPTBasePtr */
571 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large)
573 return create_it_frame_cap(pptr, 0, asidInvalid, use_large);
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,
579 cap_t cap = create_it_frame_cap(pptr, vptr, asid, use_large);
1374 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr)
1377 paddr_t addr = addrFromPPtr(pptr);