1 | /* SPDX-License-Identifier: GPL-2.0-only */ |
2 | |
3 | #ifndef __IP27_COMMON_H |
4 | #define __IP27_COMMON_H |
5 | |
6 | extern nasid_t master_nasid; |
7 | |
8 | extern void cpu_node_probe(void); |
9 | extern void hub_rt_clock_event_init(void); |
10 | extern void hub_rtc_init(nasid_t nasid); |
11 | extern void install_cpu_nmi_handler(int slice); |
12 | extern void install_ipi(void); |
13 | extern void ip27_be_init(void); |
14 | extern void ip27_reboot_setup(void); |
15 | extern const struct plat_smp_ops ip27_smp_ops; |
16 | extern unsigned long node_getfirstfree(nasid_t nasid); |
17 | extern void per_cpu_init(void); |
18 | extern void replicate_kernel_text(void); |
19 | extern void setup_replication_mask(void); |
20 | |
21 | |
22 | #endif /* __IP27_COMMON_H */ |
23 | |