/*
 * 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__ */