Lines Matching defs:pd
302 pde_t *pd;
319 pd = paddr_to_pptr(pude_pude_pd_ptr_get_pd_base_address(pud));
320 pd += GET_PD_INDEX(vptr);
321 assert(pde_pde_small_ptr_get_present(pd));
322 pt = paddr_to_pptr(pde_pde_small_ptr_get_pt_base_address(pd));
366 pde_t *pd;
381 pd = paddr_to_pptr(pude_pude_pd_ptr_get_pd_base_address(pud));
382 *(pd + GET_PD_INDEX(vptr)) = pde_pde_small_new(
404 pde_t *pd = PD_PTR(cap_page_directory_cap_get_capPDBasePtr(pd_cap));
417 pptr_to_paddr(pd)
703 pde_t *pd;
706 pd = paddr_to_pptr(pude_pude_pd_ptr_get_pd_base_address(pudSlot.pudSlot));
707 pdSlot = pd + pdIndex;
764 pde_t *pd = paddr_to_pptr(pude_pude_pd_ptr_get_pd_base_address(pudSlot.pudSlot));
765 pde_t *pdSlot = pd + GET_PD_INDEX(vptr);
1044 pude_t *pageDirectoryMapped(asid_t asid, vptr_t vaddr, pde_t *pd)
1060 (pude_pude_pd_ptr_get_pd_base_address(lu_ret.pudSlot) == pptr_to_paddr(pd))) {
1299 void unmapPageDirectory(asid_t asid, vptr_t vaddr, pde_t *pd)
1303 pudSlot = pageDirectoryMapped(asid, vaddr, pd);
1531 pde_t *pd = PD_PTR(cap_page_directory_cap_get_capPDBasePtr(cap));
1533 cap_page_directory_cap_get_capPDMappedAddress(cap), pd);
1534 clearMemory((void *)pd, cap_get_capSizeBits(cap));
2467 static readWordFromVSpace_ret_t readWordFromVSpace(vspace_root_t *pd, word_t vaddr)
2475 lookup_frame_ret = lookupFrame(pd, vaddr);