Searched refs:gicr (Results 1 – 1 of 1) sorted by relevance
153 paddr_t gicr = generic_arm64_get_reg_base(SMC_GET_GIC_BASE_GICR); in platform_after_vm_init() local194 paddr_t gicd, gicr; in platform_after_vm_init()200 if (fdt_helper_get_reg(fdt, fdt_gic_offset, 1, &gicr, &gicr_size)) { in platform_after_vm_init()220 gicc, gicd, gicr); in platform_after_vm_init()228 .gicr_paddr = gicr, in platform_after_vm_init()