1 /* 2 * Copyright (c) 2006-2018, RT-Thread Development Team 3 * 4 * SPDX-License-Identifier: Apache-2.0 5 * 6 * Change Logs: 7 * Date Author Notes 8 */ 9 #ifndef __CP15_H__ 10 #define __CP15_H__ 11 12 unsigned long rt_cpu_get_smp_id(void); 13 14 void rt_cpu_mmu_disable(void); 15 void rt_cpu_mmu_enable(void); 16 void rt_cpu_tlb_set(volatile unsigned long*); 17 18 void rt_cpu_vector_set_base(unsigned int addr); 19 20 #endif 21