Lines Matching defs:pptr
483 create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large)
494 pptr /* capFBasePtr */
507 pptr /* capFBasePtr */
535 create_it_page_table_cap(cap_t pd, pptr_t pptr, vptr_t vptr, asid_t asid)
542 pptr /* capPTBasePtr */
606 create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large)
608 return create_it_frame_cap(pptr, 0, asidInvalid, use_large);
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)
614 cap_t cap = create_it_frame_cap(pptr, vptr, asid, use_large);
1441 unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr)
1444 paddr_t addr = addrFromPPtr(pptr);