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