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