Symbol: pte_lvl
sys/dev/acpi/acpidmar.c
425
struct pte_entry *pte_lvl(struct domain *, struct pte_entry *, vaddr_t,
sys/dev/acpi/acpidmar.c
659
pte = pte_lvl(dom, pte, va, 30,
sys/dev/acpi/acpidmar.c
664
pte = pte_lvl(dom, pte, va, 21,