| #ifndef _DEVBOARD_PLATFORM_H_ | |
| #define _DEVBOARD_PLATFORM_H_ | |
| #include <linux/init.h> | |
| int __init db1x_register_pcmcia_socket(unsigned long pseudo_attr_start, | |
| unsigned long pseudo_attr_len, | |
| unsigned long pseudo_mem_start, | |
| unsigned long pseudo_mem_end, | |
| unsigned long pseudo_io_start, | |
| unsigned long pseudo_io_end, | |
| int card_irq, | |
| int cd_irq, | |
| int stschg_irq, | |
| int eject_irq, | |
| int id); | |
| int __init db1x_register_norflash(unsigned long size, int width, | |
| int swapped); | |
| #endif |