[OpenBIOS] [PATCH 03/10] video: framebuffer properties must be 32bit values

Igor V. Kovalenko igor.v.kovalenko at gmail.com
Tue May 25 14:38:06 CEST 2010


From: Igor V. Kovalenko <igor.v.kovalenko at gmail.com>

Signed-off-by: Igor V. Kovalenko <igor.v.kovalenko at gmail.com>
---
 drivers/vga_vbe.c |    2 +-
 packages/video.c  |   10 +++++-----
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/drivers/vga_vbe.c b/drivers/vga_vbe.c
index 6e26a6e..b1a95df 100644
--- a/drivers/vga_vbe.c
+++ b/drivers/vga_vbe.c
@@ -161,7 +161,7 @@ void vga_vbe_init(const char *path, unsigned long fb, uint32_t fb_size,
 	set_int_property(ph, "height", height);
 	set_int_property(ph, "depth", depth);
 	set_int_property(ph, "linebytes", linebytes);
-	set_int_property(ph, "address", fb & ~0x0000000F);
+	set_int_property(ph, "address", (u32)(fb & ~0x0000000F));
 
 	chosen = find_dev("/chosen");
 	push_str(path);
diff --git a/packages/video.c b/packages/video.c
index be4d6a6..7c8ceca 100644
--- a/packages/video.c
+++ b/packages/video.c
@@ -320,11 +320,11 @@ init_video( unsigned long fb,  int width, int height, int depth, int rb )
 	video.fb.depth = depth;
 	video.fb.rb = rb;
 	while( (ph=dt_iterate_type(ph, "display")) ) {
-		set_property( ph, "width", (char*)&video.fb.w, 4 );
-		set_property( ph, "height", (char*)&video.fb.h, 4 );
-		set_property( ph, "depth", (char*)&video.fb.depth, 4 );
-		set_property( ph, "linebytes", (char*)&video.fb.rb, 4 );
-		set_property( ph, "address", (char*)&video.fb.mphys, 4 );
+		set_int_property( ph, "width", video.fb.w );
+		set_int_property( ph, "height", video.fb.h );
+		set_int_property( ph, "depth", video.fb.depth );
+		set_int_property( ph, "linebytes", video.fb.rb );
+		set_int_property( ph, "address", video.fb.mphys );
 	}
 	video.has_video = 1;
 	video.pal = malloc( 256 * sizeof(ulong) );




More information about the OpenBIOS mailing list