Lines Matching refs:va
87 #define VADDR_TO_PML5E(va) (((va) & 0x01fffffffffff000L) / k64BitPML4TRange)
88 #define VADDR_TO_PML4E(va) (((va) % k64BitPML4TRange) / k64BitPDPTRange)
89 #define VADDR_TO_PDPTE(va) (((va) % k64BitPDPTRange) / k64BitPageDirectoryRange)
90 #define VADDR_TO_PDE(va) (((va) % k64BitPageDirectoryRange) / k64BitPageTableRange)
91 #define VADDR_TO_PTE(va) (((va) % k64BitPageTableRange) / B_PAGE_SIZE)