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