Index: kernel/arch/ia32/include/drivers/vesa.h
===================================================================
--- kernel/arch/ia32/include/drivers/vesa.h	(revision ac47b7c2b6e75a9b9aa60b443fca9a151cf89e5c)
+++ kernel/arch/ia32/include/drivers/vesa.h	(revision 22af3af6cb9bbb2335fef06631a73e0986dbe193)
@@ -36,7 +36,7 @@
 #define KERN_ia32_VESA_H_
 
-extern int vesa_present(void);
-extern void vesa_redraw(void);
-extern void vesa_init(void);
+#include <arch/types.h>
+
+extern bool vesa_init(void);
 
 #endif