Searched refs:gicd_read_irouter (Results 1 – 2 of 2) sorted by relevance
270 static inline uint64_t gicd_read_irouter(uintptr_t base, unsigned int id) in gicd_read_irouter() function
1203 router = gicd_read_irouter(gicv3_driver_data->gicd_base, id); in gicv3_set_spi_routing()