> -Original Message-
> From: linux-kernel-ow...@vger.kernel.org
> [mailto:linux-kernel-ow...@vger.kernel.org] On Behalf Of Eric Auger
> Sent: Monday, July 06, 2015 8:11 PM
> To: eric.au...@st.com; eric.au...@linaro.org;
> linux-arm-ker...@lists.infradead.org; kvmarm@lists.cs.columbia.edu;
On 22/07/15 08:19, Pavel Fedin wrote:
>> I don't care much for such an API, mostly because it will obviously
>> bitrot very quickly (your "broken VGIC" platform is hopefully a one off
>> that won't be repeated again, and the RPi is out of scope anyway).
>>
>> It would have to be extremely non-intr
