1#ifndef _DEVBOARD_PLATFORM_H_
 2#define _DEVBOARD_PLATFORM_H_
 3
 4#include <linux/init.h>
 5
 6int __init db1x_register_pcmcia_socket(phys_addr_t pcmcia_attr_start,
 7				       phys_addr_t pcmcia_attr_len,
 8				       phys_addr_t pcmcia_mem_start,
 9				       phys_addr_t pcmcia_mem_end,
10				       phys_addr_t pcmcia_io_start,
11				       phys_addr_t pcmcia_io_end,
12				       int card_irq,
13				       int cd_irq,
14				       int stschg_irq,
15				       int eject_irq,
16				       int id);
17
18int __init db1x_register_norflash(unsigned long size, int width,
19				  int swapped);
20
21#endif

 1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef _DEVBOARD_PLATFORM_H_
 3#define _DEVBOARD_PLATFORM_H_
 4
 5#include <linux/init.h>
 6
 7int __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
19int __init db1x_register_norflash(unsigned long size, int width,
20				  int swapped);
21
22#endif