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