Symbol: evmcs_write32
arch/x86/kvm/vmx/vmx_ops.h
243
return evmcs_write32(field, value);
arch/x86/kvm/vmx/vmx_ops.h
274
return evmcs_write32(field, evmcs_read32(field) & ~mask);
arch/x86/kvm/vmx/vmx_ops.h
284
return evmcs_write32(field, evmcs_read32(field) | mask);