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