1 /* SPDX-License-Identifier: GPL-2.0 */
5 #include <linux/init.h>
6 #include <linux/types.h>
7 #include <uapi/asm/setup.h>
9 extern void prom_putchar(char);
10 extern void setup_early_printk(void);
12 #ifdef CONFIG_EARLY_PRINTK_8250
13 extern void setup_8250_early_printk_port(unsigned long base
,
14 unsigned int reg_shift
, unsigned int timeout
);
16 static inline void setup_8250_early_printk_port(unsigned long base
,
17 unsigned int reg_shift
, unsigned int timeout
) {}
20 void set_handler(unsigned long offset
, const void *addr
, unsigned long len
);
21 extern void set_uncached_handler(unsigned long offset
, void *addr
, unsigned long len
);
23 typedef void (*vi_handler_t
)(void);
24 extern void *set_vi_handler(int n
, vi_handler_t addr
);
26 extern void *set_except_vector(int n
, void *addr
);
27 extern unsigned long ebase
;
28 extern unsigned int hwrena
;
29 extern void per_cpu_trap_init(bool);
30 extern void cpu_cache_init(void);
31 extern void tlb_init(void);
33 #ifdef CONFIG_RELOCATABLE
34 extern void * __init
relocate_kernel(void);
35 extern int plat_post_relocation(long);
38 #endif /* __SETUP_H */