11 #include <linux/kernel.h>
50 .gpio_write_protect = 37,
51 .gpio_card_detect = 38,
54 static unsigned int db88f6281_mpp_config[]
__initdata = {
68 static void __init db88f6281_init(
void)
84 static int __init db88f6281_pci_init(
void)
86 if (machine_is_db88f6281_bp()) {
99 MACHINE_START(DB88F6281_BP,
"Marvell DB-88F6281-BP Development Board")
101 .atag_offset = 0x100,
102 .init_machine = db88f6281_init,