Fix printing acpi base
authorRonald G. Minnich <rminnich@gmail.com>
Fri, 21 Aug 2015 20:22:48 +0000 (13:22 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 2 Nov 2015 23:24:25 +0000 (18:24 -0500)
it was coming out in decimal before.

Signed-off-by: Ronald G. Minnich <rminnich@gmail.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/drivers/dev/acpi.c

index 9497051..6de78ad 100644 (file)
@@ -898,7 +898,7 @@ static char *dumpmadt(char *start, char *end, struct Madt *apics)
                        case ASiosapic:
                                start =
                                        seprintf(start, end,
-                                                        "\tioapic id %d addr %#llux ibase %d\n",
+                                                        "\tioapic id %d addr %p ibase %d\n",
                                                         st->ioapic.id, st->ioapic.addr, st->ioapic.ibase);
                                break;
                        case ASintovr: