| 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 | |