Fixes warning in coreboot.c
authorBarret Rhoden <brho@cs.berkeley.edu>
Sun, 9 Feb 2014 07:22:22 +0000 (23:22 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Sun, 9 Feb 2014 07:22:22 +0000 (23:22 -0800)
kern/drivers/dev/coreboot.c

index 2d8021e..f12865e 100644 (file)
@@ -226,7 +226,7 @@ static int cb_parse_header(void *addr, int len, struct sysinfo_t *info)
                /* We only care about a few tags here (maybe more later). */
                switch (rec->tag) {
                case CB_TAG_FORWARD:
-                       forward = KADDR((void *)(unsigned long)((struct cb_forward *)rec)->forward);
+                       forward = KADDR((unsigned long)((struct cb_forward *)rec)->forward);
                        return cb_parse_header(forward, len, info);
                        continue;
                case CB_TAG_MEMORY: