On 08/07/2015 19:54, Marc Zyngier wrote: > Alternatively, I could move it to arch/arm64/include/asm (renamed to > kvm_vhe_macros.h?), which would solve this issue. I just gave it a go, > and that seems sensible enough. Yes, that would do. Alternatively: * create kvm_hyp_macros.h and put more stuff in there from kvm_mmu.h * just put it in kvm_host.h Whatever looks better to you. Paolo > Thanks for the suggestion! -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html