Go to the source code of this file.
◆ __VSF_HEADER_ONLY_SHOW_ARCH_INFO__
| #define __VSF_HEADER_ONLY_SHOW_ARCH_INFO__ |
◆ __BYTE_ORDER
◆ VSF_ARCH_PRI_NUM
| #define VSF_ARCH_PRI_NUM 4 |
◆ VSF_ARCH_MMU
◆ VSF_ARCH_SWI_NUM
| #define VSF_ARCH_SWI_NUM 0 |
◆ isb
Value:
#define __volatile__
Definition __compiler.h:56
◆ dsb
Value:__asm__
__volatile__ (
"mcr p15, 0, %0, c7, c10, 4" : :
"r" (0) :
"memory")
◆ dmb
◆ vsf_arch_wakeup
| #define vsf_arch_wakeup |
( |
| void | ) |
|
◆ vsf_arch_prio_t
◆ virtual_addr_t
◆ virtual_size_t
◆ physical_addr_t
◆ physical_size_t
◆ anonymous enum
| Enumerator |
|---|
| MMU_MAP_TYPE_NCNB | |
| MMU_MAP_TYPE_NCB | |
| MMU_MAP_TYPE_CNB | |
| MMU_MAP_TYPE_CB | |
◆ vsf_arch_mmu_map()
◆ vsf_arch_mmu_enable()
| void vsf_arch_mmu_enable |
( |
uint32_t * | ttb | ) |
|
|
extern |
◆ vsf_arch_mmu_refresh()
| void vsf_arch_mmu_refresh |
( |
void | | ) |
|
|
extern |
◆ vsf_cache_sync()