PTE_IS_LGPG
if (PTE_IS_LGPG(pte, level))
if (PTE_IS_LGPG(pte, level)) {
mmu_btop(PTE_GET((p), PTE_IS_LGPG((p), (l)) ? PT_PADDR_LGPG : PT_PADDR))