gic_acpi_find_gicc
static ACPI_STATUS gic_acpi_find_gicc(ACPI_SUBTABLE_HEADER *, void *);
acpi_madt_walk(gic_acpi_find_gicc, &gicc);