diff --git a/arch/x86_64/src/intel64/intel64_handlers.c b/arch/x86_64/src/intel64/intel64_handlers.c
index 93a536c8c0d..c224ad29c2d 100644
--- a/arch/x86_64/src/intel64/intel64_handlers.c
+++ b/arch/x86_64/src/intel64/intel64_handlers.c
@@ -115,10 +115,6 @@ static uint64_t *common_handler(int irq, uint64_t *regs)
        */
 
       *running_task = tcb;
-
-      /* Restore the cpu lock */
-
-      restore_critical_section(tcb, this_cpu());
     }
 
   /* Clear irq flag */