Fix from Adam: Strip the kseg off the physical address in the RPB structure.

diff --git a/system/alpha/console/console.c b/system/alpha/console/console.c
index a82e695e17072d9c7a4becd4aaf4e9a364da0e53..e7cf36ba5d839d5e3adad3e95b222b887c5e34ed 100644 (file)
--- a/system/alpha/console/console.c
+++ b/system/alpha/console/console.c
@@ -709,7 +709,7 @@ unixBoot(int go, int argc, char **argv)
   rpb_crb->rpb_num = 1;
   rpb_crb->rpb_mapped_pages = HWRPB_PAGES;
   rpb_crb->rpb_map[0].rpb_virt = 0x10000000;
-  rpb_crb->rpb_map[0].rpb_phys = ((ul)rpb) & ~0x1fff;
+  rpb_crb->rpb_map[0].rpb_phys = KSEG_TO_PHYS(((ul)rpb) & ~0x1fff);
   rpb_crb->rpb_map[0].rpb_pgcount = HWRPB_PAGES;