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 * 2013-07-20 Bernard first version 9 */ 10 11 #ifndef __CP15_H__ 12 #define __CP15_H__ 13 14 unsigned long rt_cpu_get_smp_id(void); 15 16 void rt_cpu_mmu_disable(void); 17 void rt_cpu_mmu_enable(void); 18 void rt_cpu_tlb_set(volatile unsigned long*); 19 20 void rt_cpu_vector_set_base(unsigned int addr); 21 22 #endif 23