[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