1d58d2cbf723 ("ARM: KVM: Add TLB invalidation code")
3c29568768df ("ARM: KVM: Add system register accessor macros")
08dcbfda0774 ("ARM: KVM: Add a HYP-specific header file")