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