Searched refs:_dumppte (Results 1 – 2 of 2) sorted by relevance
| /openbsd/sys/dev/acpi/ |
| H A D | amd_iommu.h | 358 void _dumppte(struct pte_entry *, int, vaddr_t);
|
| H A D | acpidmar.c | 278 void _dumppte(struct pte_entry *, int, vaddr_t);
1950 _dumppte(struct pte_entry *pte, int lvl, vaddr_t va) in _dumppte() function
1963 _dumppte(npte, lvl-1, va | sh); in _dumppte()
1993 _dumppte(dom->pte, 3, 0); in ivhd_showpage()
|