Searched refs:X86_PTE_PS (Results 1 – 1 of 1) sorted by relevance
654 #define X86_PTE_PS 0x080ULL macro696 if ((level == 1 || level == 2) && (pte & X86_PTE_PS) != 0) { in vmm_pte2paddr()