1 #ifndef _DEVBOARD_PLATFORM_H_
2 #define _DEVBOARD_PLATFORM_H_
4 #include <linux/init.h>
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,
18 int __init db1x_register_norflash(unsigned long size, int width,