Searched refs:GICD_CHIPR (Results 1 – 1 of 1) sorted by relevance
17 #define GICD_CHIPR U(0xC008) macro95 return mmio_read_64(base + (GICD_CHIPR + (8U * n))); in read_gicd_chipr_n()115 mmio_write_64(base + (GICD_CHIPR + (8U * n)), val); in write_gicd_chipr_n()