127dd65acSManuel Lauss #ifndef _DEVBOARD_PLATFORM_H_ 227dd65acSManuel Lauss #define _DEVBOARD_PLATFORM_H_ 327dd65acSManuel Lauss 427dd65acSManuel Lauss #include <linux/init.h> 527dd65acSManuel Lauss 6*11b897cfSManuel Lauss int __init db1x_register_pcmcia_socket(phys_addr_t pcmcia_attr_start, 7*11b897cfSManuel Lauss phys_addr_t pcmcia_attr_len, 8*11b897cfSManuel Lauss phys_addr_t pcmcia_mem_start, 9*11b897cfSManuel Lauss phys_addr_t pcmcia_mem_end, 10*11b897cfSManuel Lauss phys_addr_t pcmcia_io_start, 11*11b897cfSManuel Lauss phys_addr_t pcmcia_io_end, 1227dd65acSManuel Lauss int card_irq, 1327dd65acSManuel Lauss int cd_irq, 1427dd65acSManuel Lauss int stschg_irq, 1527dd65acSManuel Lauss int eject_irq, 1627dd65acSManuel Lauss int id); 1727dd65acSManuel Lauss 18206aa6cdSManuel Lauss int __init db1x_register_norflash(unsigned long size, int width, 19206aa6cdSManuel Lauss int swapped); 20206aa6cdSManuel Lauss 2127dd65acSManuel Lauss #endif 22