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