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