diff --git a/kernel/syscall.c b/kernel/syscall.c
index 6cbdd9d9..f462c636 100644
--- a/kernel/syscall.c
+++ b/kernel/syscall.c
@@ -9253,6 +9253,7 @@ set_cputime(int mode)
 		return;
 	}
 
+	cpu_disable_interrupt();
 	tsc = rdtsc();
 	if(thread->base_tsc != 0){
 		unsigned long dtsc = tsc - thread->base_tsc;
@@ -9333,6 +9334,7 @@ set_cputime(int mode)
 			}
 		}
 	}
+	cpu_enable_interrupt();
 }
 
 long syscall(int num, ihk_mc_user_context_t *ctx)