11 #include <linux/kernel.h>
20 #include <linux/i2c.h>
21 #include <linux/pci.h>
49 .platform_data = &dove_db_spi_flash_data,
51 .max_speed_hz = 20000000,
60 static int __init dove_db_pci_init(
void)
62 if (machine_is_dove_db())
73 static void __init dove_db_init(
void)
95 MACHINE_START(DOVE_DB,
"Marvell DB-MV88AP510-BP Development Board")
97 .init_machine = dove_db_init,