guest_val_vmcs 868 arch/x86/kvm/vmx/vmx.c unsigned long guest_val_vmcs, unsigned long host_val_vmcs, guest_val_vmcs 871 arch/x86/kvm/vmx/vmx.c vmcs_write64(guest_val_vmcs, guest_val);