/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
 * Copyright (c) 2025 Yao Zi <ziyao@disroot.org>
 */

#ifndef _ASM_TH1520_CPU_H_
#define _ASM_TH1520_CPU_H_
void th1520_kick_secondary_cores(void);
void th1520_invalidate_pmp(void);
#endif /* _ASM_TH1520_CPU_H_ */
