Symbol: iommu_showpte
sys/dev/acpi/acpidmar.c
3740
void iommu_showpte(uint64_t, int, uint64_t);
sys/dev/acpi/acpidmar.c
3764
iommu_showpte(pb, lvl - VTD_STRIDE_SIZE, nb);
sys/dev/acpi/acpidmar.c
3807
iommu_showpte(ctx->lo & ~VTD_PAGE_MASK, iommu->agaw -