Symbol: PTE_NXTLVL
sys/dev/acpi/acpidmar.c
675
PTE_NXTLVL(2) | PTE_IR | PTE_IW | PTE_P,
sys/dev/acpi/acpidmar.c
680
PTE_NXTLVL(1) | PTE_IR | PTE_IW | PTE_P,
sys/dev/acpi/acpidmar.c
686
flags = PTE_P | PTE_R | PTE_W | PTE_IW | PTE_IR | PTE_NXTLVL(0);