vmcs_checkl       134 arch/x86/kvm/vmx/ops.h 	vmcs_checkl(field);
vmcs_checkl       207 arch/x86/kvm/vmx/ops.h 	vmcs_checkl(field);