int __init ixdp425_pci_init(void) { if (machine_is_ixdp425() || machine_is_ixcdp1100() || machine_is_ixdp465() || machine_is_kixrp435()) pci_common_init(&ixdp425_pci); return 0; }
static void __init ixdp425_init(void) { ixp4xx_sys_init(); /* * IXP465 has 32MB window */ if (machine_is_ixdp465()) { ixdp425_flash_resource.end += IXDP425_FLASH_SIZE; } platform_add_devices(ixdp425_devices, ARRAY_SIZE(ixdp425_devices)); }
static void __init ixdp425_init(void) { ixp4xx_sys_init(); /* * IXP465 has 32MB window */ if (machine_is_ixdp465()) { ixdp425_flash_resource.end += IXDP425_FLASH_SIZE; } platform_add_devices(ixdp425_devices, ARRAY_SIZE(ixdp425_devices)); #ifdef CONFIG_KGDB_8250 kgdb8250_add_port(0, &ixdp425_serial_ports[0]); kgdb8250_add_port(1, &ixdp425_serial_ports[1]); #endif }