Hi Marc, On Tue, 2013-03-05 at 03:47 +0000, Marc Zyngier wrote: > --- /dev/null > +++ b/arch/arm64/kvm/inject_fault.c > @@ -0,0 +1,117 @@ ... > + * kvm_inject_undefined - inject a undefined instruction into the guest s/ a undefined/ an undefined/ -Geoff