Symbol: IVRS_IVHD_EXT
sys/dev/acpi/acpidmar.c
3281
if (ivhd->type == IVRS_IVHD_EXT) {
sys/dev/acpi/acpidmar.c
3459
case IVRS_IVHD_EXT: