evmcs_write32     188 arch/x86/kvm/vmx/ops.h 		return evmcs_write32(field, value);
evmcs_write32     219 arch/x86/kvm/vmx/ops.h 		return evmcs_write32(field, evmcs_read32(field) & ~mask);
evmcs_write32     229 arch/x86/kvm/vmx/ops.h 		return evmcs_write32(field, evmcs_read32(field) | mask);