diff --git a/kernel/arch/i386/watchdog.c b/kernel/arch/i386/watchdog.c
index a9362d465..003c03735 100644
--- a/kernel/arch/i386/watchdog.c
+++ b/kernel/arch/i386/watchdog.c
@@ -1,5 +1,7 @@
 #include "../../kernel.h"
 #include "../../watchdog.h"
+#include "proto.h"
+#include <minix/minlib.h>
 
 #include "apic.h"
 
@@ -55,7 +57,7 @@ PRIVATE struct arch_watchdog intel_arch_watchdog = {
 
 int arch_watchdog_init(void)
 {
-	reg_t eax, ebx, ecx, edx;
+	u32_t eax, ebx, ecx, edx;
 
 	eax = 0xA;