gic_request_region
gic_request_region(res->start, resource_size(res), name);
gic_request_region(redist->base_address, redist->length, "GICR");
gic_request_region(gicc->gicr_base_address, size, "GICR");
gic_request_region(dist->base_address, ACPI_GICV3_DIST_MEM_SIZE, "GICD");
r = gic_request_region(irs->config_base_address, ACPI_GICV5_IRS_MEM_SIZE, "GICv5 IRS");