Searched refs:read_gicd_chipr_n (Results 1 – 2 of 2) sorted by relevance
93 static inline uint64_t read_gicd_chipr_n(uintptr_t base, uint8_t n) in read_gicd_chipr_n() function
184 if (read_gicd_chipr_n(base, chip_id) != chipr_n_val) { in set_gicd_chipr_n()