Symbol: _dumppte
sys/dev/acpi/acpidmar.c
2729
_dumppte(npte, lvl-1, va | sh);
sys/dev/acpi/acpidmar.c
2759
_dumppte(dom->pte, 3, 0);
sys/dev/acpi/acpidmar.c
309
void _dumppte(struct pte_entry *, int, vaddr_t);
sys/dev/acpi/amd_iommu.h
358
void _dumppte(struct pte_entry *, int, vaddr_t);