Searched refs:vmcs12_write_any (Results 1 – 1 of 1) sorted by relevance
8586 static inline int vmcs12_write_any(struct vmcs12 *vmcs12, in vmcs12_write_any() function8642 vmcs12_write_any(get_vmcs12(&vmx->vcpu), field, field_value); in copy_shadow_to_vmcs12()8824 if (vmcs12_write_any(vmcs12, field, field_value) < 0) { in handle_vmwrite()
