Searched refs:gicc_write_EOIR (Results 1 – 2 of 2) sorted by relevance
135 static inline void gicc_write_EOIR(uintptr_t base, unsigned int val) in gicc_write_EOIR() function
260 gicc_write_EOIR(driver_data->gicc_base, id); in gicv2_end_of_interrupt()
Completed in 4 milliseconds