2020-01-15 17:19:49 +08:00
|
|
|
#ifndef __CP15_H__
|
|
|
|
|
#define __CP15_H__
|
|
|
|
|
|
|
|
|
|
unsigned long rt_cpu_get_smp_id(void);
|
|
|
|
|
|
|
|
|
|
void rt_cpu_mmu_disable(void);
|
|
|
|
|
void rt_cpu_mmu_enable(void);
|
|
|
|
|
void rt_cpu_tlb_set(volatile unsigned long*);
|
2020-06-03 23:58:34 +08:00
|
|
|
void rt_hw_vector_init(void);
|
2020-01-15 17:19:49 +08:00
|
|
|
|
|
|
|
|
void rt_cpu_vector_set_base(unsigned int addr);
|
|
|
|
|
|
|
|
|
|
#endif
|
