Searched refs:write_gicd_chipr_n (Results 1 – 2 of 2) sorted by relevance
100 static inline void write_gicd_chipr_n(uintptr_t base, uint8_t n, uint64_t val) in write_gicd_chipr_n() function
132 write_gicd_chipr_n(base, chip_id, chipr_n_val); in set_gicd_chipr_n()
Completed in 5 milliseconds