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()
56 #define GICR_IIDR 0x0004 macro
87 #define GICR_IIDR U(0x04) macro