ARM64 GICv3 IRQ handling on i.MX8MP

[Krzysztof Hałasa]

Me:

> - especially with the busy loops, the I2C IRQs appear to work in some
>   sort of polled mode as well - the el1h_64_irq_handler() isn't called
>   before i2c_imx_isr(). This is fast, though - ca. 1 us after the end
>   of transfer.

It seems this is actually called by el0t_64_irq(), not a polling.
-- 
Krzysztof "Chris" Hałasa

Sieć Badawcza Łukasiewicz
Przemysłowy Instytut Automatyki i Pomiarów PIAP
Al. Jerozolimskie 202, 02-486 Warszawa