Searched refs:gicr_check (Results 1 – 1 of 1) sorted by relevance
51 uintptr_t gicr_check = gic_base + BIT(gicr_shift); in k3_gic_driver_init() local52 uint32_t iidr = mmio_read_32(gicr_check + GICR_IIDR); in k3_gic_driver_init()55 gicr_base = gicr_check; in k3_gic_driver_init()