/*
|
* SPDX-License-Identifier: GPL-2.0+
|
*/
|
|
#ifndef __ASM_SPIN_TABLE_H__
|
#define __ASM_SPIN_TABLE_H__
|
|
extern u64 spin_table_cpu_release_addr;
|
extern char spin_table_reserve_begin;
|
extern char spin_table_reserve_end;
|
|
int spin_table_update_dt(void *fdt);
|
|
#endif /* __ASM_SPIN_TABLE_H__ */
|
