|
VSF Documented
|
Go to the source code of this file.
Macros | |
| #define | __VSF_HEADER_ONLY_SHOW_ARCH_INFO__ |
| #define | __LITTLE_ENDIAN 1 |
| #define | __BYTE_ORDER __LITTLE_ENDIAN |
| #define | VSF_ARCH_PRI_NUM 4 |
| #define | VSF_ARCH_MMU ENABLED |
| #define | VSF_ARCH_SWI_NUM 0 |
| #define | isb() __asm__ __volatile__ ("" : : : "memory") |
| #define | dsb() __asm__ __volatile__ ("mcr p15, 0, %0, c7, c10, 4" : : "r" (0) : "memory") |
| #define | dmb() __asm__ __volatile__ ("" : : : "memory") |
| #define | vsf_arch_wakeup() |
Typedefs | |
| typedef int | vsf_arch_prio_t |
| typedef unsigned long long | virtual_addr_t |
| typedef unsigned long long | virtual_size_t |
| typedef unsigned long long | physical_addr_t |
| typedef unsigned long long | physical_size_t |
Enumerations | |
| enum | { MMU_MAP_TYPE_NCNB = 0x0 , MMU_MAP_TYPE_NCB = 0x1 , MMU_MAP_TYPE_CNB = 0x2 , MMU_MAP_TYPE_CB = 0x3 } |
Functions | |
| void | vsf_arch_mmu_map (uint32_t *ttb, virtual_addr_t virt, physical_addr_t phys, physical_size_t size, int type) |
| void | vsf_arch_mmu_enable (uint32_t *ttb) |
| void | vsf_arch_mmu_refresh (void) |
| void | vsf_cache_sync (void *addr, uint_fast32_t size, bool is_from_device) |
| #define __VSF_HEADER_ONLY_SHOW_ARCH_INFO__ |
| #define __LITTLE_ENDIAN 1 |
| #define __BYTE_ORDER __LITTLE_ENDIAN |
| #define VSF_ARCH_PRI_NUM 4 |
| #define VSF_ARCH_MMU ENABLED |
| #define VSF_ARCH_SWI_NUM 0 |
| #define isb | ( | ) | __asm__ __volatile__ ("" : : : "memory") |
| #define dsb | ( | ) | __asm__ __volatile__ ("mcr p15, 0, %0, c7, c10, 4" : : "r" (0) : "memory") |
| #define dmb | ( | ) | __asm__ __volatile__ ("" : : : "memory") |
| #define vsf_arch_wakeup | ( | void | ) |
| typedef int vsf_arch_prio_t |
| typedef unsigned long long virtual_addr_t |
| typedef unsigned long long virtual_size_t |
| typedef unsigned long long physical_addr_t |
| typedef unsigned long long physical_size_t |
|
extern |
|
extern |
|
extern |
|
extern |