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