Searched refs:GICD_CHIPSR (Results 1 – 1 of 1) sorted by relevance
15 #define GICD_CHIPSR U(0xC000) macro100 return mmio_read_32(base + GICD_CHIPSR); in read_gicd_chipsr()