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)
commiteb3e516b67aa8a79a104f077cd9a1cff3e926e44
tree502283de39696c9517b2bbab50e93249e022842d
parent15f1fc5b29d73f47f2ea1ccec8ce124fcba4b32d
Fix printing acpi base

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