1 #ifndef _DEVBOARD_PLATFORM_H_ 2 #define _DEVBOARD_PLATFORM_H_ 3 4 #include <linux/init.h> 5 6 int __init db1x_register_pcmcia_socket(phys_addr_t pcmcia_attr_start, 7 phys_addr_t pcmcia_attr_len, 8 phys_addr_t pcmcia_mem_start, 9 phys_addr_t pcmcia_mem_end, 10 phys_addr_t pcmcia_io_start, 11 phys_addr_t pcmcia_io_end, 12 int card_irq, 13 int cd_irq, 14 int stschg_irq, 15 int eject_irq, 16 int id); 17 18 int __init db1x_register_norflash(unsigned long size, int width, 19 int swapped); 20 21 #endif 22