gic_acpi_parse_madt_its
gic_acpi_parse_madt_its, 0);
acpi_table_parse_madt(ACPI_MADT_TYPE_GICV5_ITS, gic_acpi_parse_madt_its, 0);