1 #ifndef _DEVBOARD_PLATFORM_H_
2 #define _DEVBOARD_PLATFORM_H_
4 #include <linux/init.h>
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
,