Searched refs:GICD_DCHIPR (Results 1 – 1 of 1) sorted by relevance
16 #define GICD_DCHIPR U(0xC004) macro84 return mmio_read_32(base + GICD_DCHIPR); in read_gicd_dchipr()99 mmio_write_32(base + GICD_DCHIPR, val); in write_gicd_dchipr()