diff --git a/drivers/vga_vbe.c b/drivers/vga_vbe.c
index 968d38f..07cea36 100644
--- a/drivers/vga_vbe.c
+++ b/drivers/vga_vbe.c
@@ -101,7 +101,7 @@ void vga_vbe_set_mode(int width, int height, int depth)
         vga_build_rgb_palette();
 }
 
-void vga_vbe_init(const char *path, uint32_t fb, uint32_t fb_size,
+void vga_vbe_init(const char *path, unsigned long fb, uint32_t fb_size,
                   unsigned long rom, uint32_t rom_size)
 {
 	phandle_t ph, chosen, aliases, options;
diff --git a/include/video_subr.h b/include/video_subr.h
index 95b7c9a..42c182d 100644
--- a/include/video_subr.h
+++ b/include/video_subr.h
@@ -12,7 +12,7 @@ void vga_font_load(unsigned char *vidmem, const unsigned char *font, int height,
 /* drivers/vga_vbe.c */
 void vga_set_color(int i, unsigned int r, unsigned int g, unsigned int b);
 void vga_vbe_set_mode(int width, int height, int depth);
-void vga_vbe_init(const char *path, uint32_t fb, uint32_t fb_size,
+void vga_vbe_init(const char *path, unsigned long fb, uint32_t fb_size,
                   unsigned long rom, uint32_t rom_size);
 
 /* modules/video.c */