Symbol: acpi_handle_ivrs_ivhd_info_11
usr.sbin/acpi/acpidump/acpi.c
2062
acpi_handle_ivrs_ivhd_info_11(addr);
usr.sbin/acpi/acpidump/acpi.c
2071
acpi_handle_ivrs_ivhd_info_11(addr);