Symbol: evmcs_read32
arch/x86/kvm/vmx/vmx_ops.h
167
return evmcs_read32(field);
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);