|
@@ -444,9 +444,9 @@ void __init setup_system(void)
|
|
if (htab_address)
|
|
if (htab_address)
|
|
printk("htab_address = 0x%p\n", htab_address);
|
|
printk("htab_address = 0x%p\n", htab_address);
|
|
printk("htab_hash_mask = 0x%lx\n", htab_hash_mask);
|
|
printk("htab_hash_mask = 0x%lx\n", htab_hash_mask);
|
|
-#if PHYSICAL_START > 0
|
|
|
|
- printk("physical_start = 0x%lx\n", PHYSICAL_START);
|
|
|
|
-#endif
|
|
|
|
|
|
+ if (PHYSICAL_START > 0)
|
|
|
|
+ printk("physical_start = 0x%lx\n",
|
|
|
|
+ PHYSICAL_START);
|
|
printk("-----------------------------------------------------\n");
|
|
printk("-----------------------------------------------------\n");
|
|
|
|
|
|
DBG(" <- setup_system()\n");
|
|
DBG(" <- setup_system()\n");
|