PTE_FRAME
pde_pa = (cpu_kh->pdppaddr & PTE_FRAME) + (pl2_pi(va) * sizeof(pde));
pte_pa = (pde & PTE_FRAME) + (pl1_pi(va) * sizeof(pt_entry_t));
*pa = (pte & PTE_FRAME) + page_off;
pte_pa = (pde & PTE_FRAME) + (pl1_pi(va) * sizeof(pt_entry_t));
*pa = (pte & PTE_FRAME) + page_off;
pde_pa = (cpu_kh->pdppaddr & PTE_FRAME) + (pl2_pi(va) * sizeof(pde));
pde_pa = (pde & PTE_FRAME) + (pl3_pi(va) * sizeof(pd_entry_t));
pde_pa = (pde & PTE_FRAME) + (pl2_pi(va) * sizeof(pd_entry_t));
pte_pa = (pde & PTE_FRAME) + (pl1_pi(va) * sizeof(pt_entry_t));
*pa = (pte & PTE_FRAME) + page_off;
L1gpa = (pte & PTE_FRAME);
*gpa = (pte & PTE_FRAME);
L2gpa = (pte & PTE_FRAME);
L1gpa = (pte & PTE_FRAME);
*gpa = (pte & PTE_FRAME);
L3gpa = (pte & PTE_FRAME);
L2gpa = (pte & PTE_FRAME);
L1gpa = (pte & PTE_FRAME);
*gpa = (pte & PTE_FRAME);
pdir = (pt_entry_t *)((pdir[pl3_pi(va)] & PTE_FRAME) + KERNBASE);
pdir = (pt_entry_t *)((pdir[pl2_pi(va)] & PTE_FRAME) + KERNBASE);
pdir = (pt_entry_t *)((pdir[pl4_pi(va)] & PTE_FRAME) + KERNBASE);
#define pmap_pte2pa(a) ((a) & PTE_FRAME)
return xpmap_mtop_masked(pte & PTE_FRAME);
pa = (PTE_BASE[pl1_i(va)] & PTE_FRAME);
#define pmap_pte2pa(a) ((a) & PTE_FRAME)
return xpmap_mtop_masked(pte & PTE_FRAME);
return (paddr_t) (((*up_pte) & PTE_FRAME) + (((vaddr_t) pte) & (~PTE_FRAME & ~VA_SIGN_MASK)));
*pte = (pa & PTE_FRAME) | pteflags;
*pte = (pa & PTE_FRAME) | pteflags;
*pte = (pa & PTE_FRAME) | pteflags;
*pte = (pa & PTE_FRAME) | pteflags;
*pte = (pa & PTE_FRAME) | pteflags;
(pd_entry_t)-1 & PTE_FRAME;
if ((opte & (PTE_FRAME | PTE_P)) != expect) {
if (((opte ^ npte) & (PTE_FRAME | PTE_P)) == 0) {
if (((opte ^ npte) & (PTE_FRAME | PTE_P)) == 0) {
((opte ^ npte) & (PTE_FRAME | PTE_W)) != 0) {
(x86_tmp_pml_paddr[level - 1] & PTE_FRAME) | PTE_W | PTE_P;
tmp_pml[pl_i(pg, 1)] = (pg & PTE_FRAME) | PTE_W | PTE_P;
if (((opte ^ npte) & (PTE_FRAME | EPT_R)) == 0) {
if (((opte ^ npte) & (PTE_FRAME | EPT_R)) == 0) {
if (accessed && ((opte ^ npte) & (PTE_FRAME | EPT_W)) != 0) {
if ((opte & (PTE_FRAME | EPT_R)) != expect) {
sva &= PTE_FRAME;
eva &= PTE_FRAME;
pa = (paddr_t)(dstpde[pidx] & PTE_FRAME);
#define get_pa(__pde) (__pde & PTE_FRAME)