diff --git a/src/arch/x86_64/mmu.c b/src/arch/x86_64/mmu.c
index 93dff11b..22400a3b 100644
--- a/src/arch/x86_64/mmu.c
+++ b/src/arch/x86_64/mmu.c
@@ -46,7 +46,7 @@ static void invalidate(void* addr){
 	sem.count += 2;
 	inv = addr;
 	arch_smp_sendipi(0, VECTOR_MMUINVAL, IPI_CPU_ALLBUTSELF);
-	while(!sem_tryacquire(&sem));
+	while(!sem_tryacquire(&sem)) asm("pause");
 }