Searched refs:GICD_IROUTER (Results 1 – 2 of 2) sorted by relevance
134 return mmio_read_64(base + GICD_IROUTER + (id << 3)); in gicd_read_irouter()142 mmio_write_64(base + GICD_IROUTER + (id << 3), affinity); in gicd_write_irouter()
41 #define GICD_IROUTER 0x6000 macro