1#ifndef _DEVBOARD_PLATFORM_H_ 2#define _DEVBOARD_PLATFORM_H_ 3 4#include <linux/init.h> 5 6int __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 18int __init db1x_register_norflash(unsigned long size, int width, 19 int swapped); 20 21#endif 22