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