2018-10-15 01:35:07 +08:00
|
|
|
/*
|
2021-03-27 17:51:56 +08:00
|
|
|
* Copyright (c) 2006-2021, RT-Thread Development Team
|
2018-10-15 01:35:07 +08:00
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
|
|
*
|
|
|
|
* Change Logs:
|
|
|
|
* Date Author Notes
|
2019-03-25 20:03:49 +08:00
|
|
|
* 2018-03-25 quanzhao the first version
|
2018-10-15 01:35:07 +08:00
|
|
|
*/
|
2017-11-01 13:30:17 +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*);
|
|
|
|
|
2019-03-25 20:03:49 +08:00
|
|
|
void rt_cpu_dcache_clean_flush(void);
|
|
|
|
void rt_cpu_icache_flush(void);
|
|
|
|
|
2017-11-01 13:30:17 +08:00
|
|
|
void rt_cpu_vector_set_base(unsigned int addr);
|
|
|
|
|
|
|
|
#endif
|