| /* SPDX-License-Identifier: GPL-2.0 */ | |
| #ifndef _DEVBOARD_PLATFORM_H_ | |
| #define _DEVBOARD_PLATFORM_H_ | |
| #include <linux/init.h> | |
| int __init db1x_register_pcmcia_socket(phys_addr_t pcmcia_attr_start, | |
| phys_addr_t pcmcia_attr_len, | |
| phys_addr_t pcmcia_mem_start, | |
| phys_addr_t pcmcia_mem_end, | |
| phys_addr_t pcmcia_io_start, | |
| phys_addr_t pcmcia_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 |