1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _DEVBOARD_PLATFORM_H_
3 #define _DEVBOARD_PLATFORM_H_
5 #include <linux/init.h>
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
,
19 int __init
db1x_register_norflash(unsigned long size
, int width
,