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