gic_request_region
static void gic_request_region(resource_size_t base, resource_size_t size,
static struct resource * __init gic_request_region(resource_size_t base, resource_size_t size,