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