summaryrefslogtreecommitdiff
path: root/src/mainboard/emulation/qemu-armv7
diff options
context:
space:
mode:
authorVladimir Serbinenko <phcoder@gmail.com>2017-05-13 20:21:37 +0000
committerVladimir Serbinenko <phcoder@gmail.com>2017-05-15 23:15:06 +0200
commitbddf86a2594e809c32269508807fb4a4c50d573e (patch)
treedc55b7ec9b733cdae06120206d8536f9c413a7a9 /src/mainboard/emulation/qemu-armv7
parent7ad44eed08b9811d97462b3c990129187f77e2ca (diff)
vexpress: change to write32
Change-Id: I5fcc83328441ccfb34ee63a7406d26e393633c21 Signed-off-by: Vladimir Serbinenko <phcoder@gmail.com> Reviewed-on: https://review.coreboot.org/19685 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Philippe Mathieu-Daudé <philippe.mathieu.daude@gmail.com> Reviewed-by: Patrick Rudolph <siro@das-labor.org>
Diffstat (limited to 'src/mainboard/emulation/qemu-armv7')
-rw-r--r--src/mainboard/emulation/qemu-armv7/mainboard.c15
1 files changed, 8 insertions, 7 deletions
diff --git a/src/mainboard/emulation/qemu-armv7/mainboard.c b/src/mainboard/emulation/qemu-armv7/mainboard.c
index c1fcc6ad59..39c2361eea 100644
--- a/src/mainboard/emulation/qemu-armv7/mainboard.c
+++ b/src/mainboard/emulation/qemu-armv7/mainboard.c
@@ -21,25 +21,26 @@
#include <halt.h>
#include "mainboard.h"
#include <edid.h>
+#include <arch/io.h>
static void init_gfx(void)
{
- volatile uint32_t *pl111;
+ uint32_t *pl111;
struct edid edid;
/* width is at most 4096 */
/* height is at most 1024 */
int width = 800, height = 600;
uint32_t framebuffer = 0x4c000000;
pl111 = (uint32_t *) 0x10020000;
- pl111[0] = (width / 4) - 4;
- pl111[1] = height - 1;
+ write32(pl111, (width / 4) - 4);
+ write32(pl111 + 1, height - 1);
/* registers 2, 3 and 5 are ignored by qemu. Set them correctly if
we ever go for real hw. */
/* framebuffer adress offset. Has to be in vram. */
- pl111[4] = framebuffer;
- pl111[7] = 0;
- pl111[10] = 0xff;
- pl111[6] = (5 << 1) | 0x801;
+ write32(pl111 + 4, framebuffer);
+ write32(pl111 + 7, 0);
+ write32(pl111 + 10, 0xff);
+ write32(pl111 + 6, (5 << 1) | 0x801);
edid.framebuffer_bits_per_pixel = 32;
edid.bytes_per_line = width * 4;