Searched refs:host_val_vmcs (Results 1 – 1 of 1) sorted by relevance
1029 unsigned long guest_val_vmcs, unsigned long host_val_vmcs, in add_atomic_switch_msr_special() argument1033 if (host_val_vmcs != HOST_IA32_EFER) in add_atomic_switch_msr_special()1034 vmcs_write64(host_val_vmcs, host_val); in add_atomic_switch_msr_special()