PTE_ISPAGE
if (!PTE_ISPAGE(old_pte, l))
if (!PTE_ISVALID(pte) || !PTE_ISPAGE(pte, ht->ht_level)) {
if (!PTE_ISPAGE(pte, l))
ASSERT(PTE_ISPAGE(pte, level));
if (!PTE_ISPAGE(pte, level)) {
if (PTE_ISPAGE(pte, l)) {
if (PTE_ISPAGE(pte, l)) {
if (PTE_ISPAGE(pte, ht->ht_level))
if (!PTE_ISPAGE(pte_val, l)) {
if (!PTE_ISPAGE(pte, l))