Searched refs:gicc (Results 1 – 1 of 1) sorted by relevance
151 paddr_t gicc = generic_arm64_get_reg_base(SMC_GET_GIC_BASE_GICC); in platform_after_vm_init() local193 paddr_t gicc = 0; /* gic-v3 does not need a memory mapped gicc */ in platform_after_vm_init()220 gicc, gicd, gicr); in platform_after_vm_init()224 .gicc_paddr = gicc, in platform_after_vm_init()