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