Symbol: ivhd_showcmd
sys/dev/acpi/acpidmar.c
2817
ivhd_showcmd(iommu);
sys/dev/acpi/acpidmar.c
2822
ivhd_showcmd(iommu);
sys/dev/acpi/acpidmar.c
430
void ivhd_showcmd(struct iommu_softc *);