diff --git a/src/system/kernel/arch/x86/arch_cpu.c b/src/system/kernel/arch/x86/arch_cpu.c
index ff35df7de2..c687bc76b7 100644
--- a/src/system/kernel/arch/x86/arch_cpu.c
+++ b/src/system/kernel/arch/x86/arch_cpu.c
@@ -41,7 +41,7 @@ static struct tss **sTSS;
 //static struct tss **sDoubleFaultTSS;
 struct tss **sDoubleFaultTSS;
 static int *sIsTSSLoaded;
-static int32 sWaitAllCPUs;
+static vint32 sWaitAllCPUs;
 
 segment_descriptor *gGDT = NULL;