X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_time.c;h=a028b2f45d7d880f74a226376e40a993ca438c96;hp=dff562b84f3f876a4a8db028573375be5c747026;hb=198151f1d58834ff7889389007232a3d250f51f1;hpb=6d3926e16dc1ba6ca0144e65b737e432c48aaa91

diff --git a/palacios/src/palacios/vmm_time.c b/palacios/src/palacios/vmm_time.c
index dff562b..a028b2f 100644
--- a/palacios/src/palacios/vmm_time.c
+++ b/palacios/src/palacios/vmm_time.c
@@ -499,7 +499,7 @@ void v3_init_time_core(struct guest_info * info) {
 	(time_state->clock_ratio_num != 1) ||
 	(info->vm_info->time_state.td_num != 1) || 
 	(info->vm_info->time_state.td_denom != 1)) { 
-	if (time_state->flags | VM_TIME_TSC_PASSTHROUGH) {
+	if (time_state->flags & VM_TIME_TSC_PASSTHROUGH) {
 	    PrintError(info->vm_info, info, "WARNING: Cannot use reqested passthrough TSC with clock or time modification also requested.\n");
 	    time_state->flags &= ~VM_TIME_TSC_PASSTHROUGH;
 	}