Searched refs:GICR_IIDR (Results 1 – 3 of 3) sorted by relevance
49 uint32_t iidr = mmio_read_32(gicr_check + GICR_IIDR); in k3_gic_driver_init()
123 uint32_t reg = mmio_read_32(gicr_base + GICR_IIDR); in gicv3_redists_need_power_mgmt()
163 #define GICR_IIDR U(0x04) macro