On Tue, 17 Jan 2017, Marc Zyngier wrote: > Do a braindump of the way things are supposed to work. > > Signed-off-by: Marc Zyngier <marc.zyngier at arm.com> Nice ! Reviewed-by: Thomas Gleixner <tglx at linutronix.de>