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