|
@@ -53,9 +53,13 @@ void __init generate_cplb_tables_cpu(unsigned int cpu)
|
|
|
|
|
|
i_d = i_i = 0;
|
|
i_d = i_i = 0;
|
|
|
|
|
|
|
|
+#ifdef CONFIG_DEBUG_HUNT_FOR_ZERO
|
|
/* Set up the zero page. */
|
|
/* Set up the zero page. */
|
|
d_tbl[i_d].addr = 0;
|
|
d_tbl[i_d].addr = 0;
|
|
d_tbl[i_d++].data = SDRAM_OOPS | PAGE_SIZE_1KB;
|
|
d_tbl[i_d++].data = SDRAM_OOPS | PAGE_SIZE_1KB;
|
|
|
|
+ i_tbl[i_i].addr = 0;
|
|
|
|
+ i_tbl[i_i++].data = SDRAM_OOPS | PAGE_SIZE_1KB;
|
|
|
|
+#endif
|
|
|
|
|
|
/* Cover kernel memory with 4M pages. */
|
|
/* Cover kernel memory with 4M pages. */
|
|
addr = 0;
|
|
addr = 0;
|