2 * SPDX-License-Identifier: GPL-2.0+
5 #ifndef __ASM_SPIN_TABLE_H__
6 #define __ASM_SPIN_TABLE_H__
8 extern u64 spin_table_cpu_release_addr;
9 extern char spin_table_reserve_begin;
10 extern char spin_table_reserve_end;
12 int spin_table_update_dt(void *fdt);
14 #endif /* __ASM_SPIN_TABLE_H__ */