127dd65acSManuel Lauss #ifndef _DEVBOARD_PLATFORM_H_ 227dd65acSManuel Lauss #define _DEVBOARD_PLATFORM_H_ 327dd65acSManuel Lauss 427dd65acSManuel Lauss #include <linux/init.h> 527dd65acSManuel Lauss 627dd65acSManuel Lauss int __init db1x_register_pcmcia_socket(unsigned long pseudo_attr_start, 727dd65acSManuel Lauss unsigned long pseudo_attr_len, 827dd65acSManuel Lauss unsigned long pseudo_mem_start, 927dd65acSManuel Lauss unsigned long pseudo_mem_end, 1027dd65acSManuel Lauss unsigned long pseudo_io_start, 1127dd65acSManuel Lauss unsigned long pseudo_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 1827dd65acSManuel Lauss #endif 19