1 | /* SPDX-License-Identifier: GPL-2.0 */ |
2 | #ifndef _DEVBOARD_PLATFORM_H_ |
3 | #define _DEVBOARD_PLATFORM_H_ |
4 | |
5 | #include <linux/init.h> |
6 | |
7 | int __init db1x_register_pcmcia_socket(phys_addr_t pcmcia_attr_start, |
8 | phys_addr_t pcmcia_attr_len, |
9 | phys_addr_t pcmcia_mem_start, |
10 | phys_addr_t pcmcia_mem_end, |
11 | phys_addr_t pcmcia_io_start, |
12 | phys_addr_t pcmcia_io_end, |
13 | int card_irq, |
14 | int cd_irq, |
15 | int stschg_irq, |
16 | int eject_irq, |
17 | int id); |
18 | |
19 | int __init db1x_register_norflash(unsigned long size, int width, |
20 | int swapped); |
21 | |
22 | #endif |
23 | |