1 #ifndef _DEVBOARD_PLATFORM_H_
2 #define _DEVBOARD_PLATFORM_H_
3 
4 #include <linux/init.h>
5 
6 int __init db1x_register_pcmcia_socket(unsigned long pseudo_attr_start,
7 				       unsigned long pseudo_attr_len,
8 				       unsigned long pseudo_mem_start,
9 				       unsigned long pseudo_mem_end,
10 				       unsigned long pseudo_io_start,
11 				       unsigned long pseudo_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