vmcs12.h    6 arch/x86/kvm/vmx/nested.h #include "vmcs12.h"
vmcs12.h    3 arch/x86/kvm/vmx/vmcs12.c #include "vmcs12.h"
vmcs12.h   60 arch/x86/kvm/vmx/vmx.c #include "vmcs12.h"