|
@@ -258,6 +258,9 @@ MACHINE_START(IXDP425, "Intel IXDP425 Development Platform")
|
|
|
.timer = &ixp4xx_timer,
|
|
|
.boot_params = 0x0100,
|
|
|
.init_machine = ixdp425_init,
|
|
|
+#if defined(CONFIG_PCI)
|
|
|
+ .dma_zone_size = SZ_64M,
|
|
|
+#endif
|
|
|
MACHINE_END
|
|
|
#endif
|
|
|
|
|
@@ -269,6 +272,9 @@ MACHINE_START(IXDP465, "Intel IXDP465 Development Platform")
|
|
|
.timer = &ixp4xx_timer,
|
|
|
.boot_params = 0x0100,
|
|
|
.init_machine = ixdp425_init,
|
|
|
+#if defined(CONFIG_PCI)
|
|
|
+ .dma_zone_size = SZ_64M,
|
|
|
+#endif
|
|
|
MACHINE_END
|
|
|
#endif
|
|
|
|
|
@@ -280,6 +286,9 @@ MACHINE_START(IXCDP1100, "Intel IXCDP1100 Development Platform")
|
|
|
.timer = &ixp4xx_timer,
|
|
|
.boot_params = 0x0100,
|
|
|
.init_machine = ixdp425_init,
|
|
|
+#if defined(CONFIG_PCI)
|
|
|
+ .dma_zone_size = SZ_64M,
|
|
|
+#endif
|
|
|
MACHINE_END
|
|
|
#endif
|
|
|
|
|
@@ -291,5 +300,8 @@ MACHINE_START(KIXRP435, "Intel KIXRP435 Reference Platform")
|
|
|
.timer = &ixp4xx_timer,
|
|
|
.boot_params = 0x0100,
|
|
|
.init_machine = ixdp425_init,
|
|
|
+#if defined(CONFIG_PCI)
|
|
|
+ .dma_zone_size = SZ_64M,
|
|
|
+#endif
|
|
|
MACHINE_END
|
|
|
#endif
|