1 #ifndef __CP15_H__
2 #define __CP15_H__
3 
4 unsigned long rt_cpu_get_smp_id(void);
5 
6 void rt_cpu_mmu_disable(void);
7 void rt_cpu_mmu_enable(void);
8 void rt_cpu_tlb_set(volatile unsigned long*);
9 void rt_hw_vector_init(void);
10 
11 void rt_cpu_vector_set_base(unsigned int addr);
12 
13 #endif
14