x86_ptob
#define ptob(x) x86_ptob(x)
#define pmap_phys_address(ppn) (x86_ptob(ppn) & ~X86_MMAP_FLAG_MASK)
vaddr_t tva = va + x86_ptob(i);
vaddr_t tva = x86_ptob(spte - ptes);