Searched defs:read_gicd_chipsr (Results 1 – 2 of 2) sorted by relevance
90 static inline uint32_t read_gicd_chipsr(uintptr_t base) in read_gicd_chipsr() function
96 static inline uint32_t read_gicd_chipsr(uintptr_t base) in read_gicd_chipsr() function