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 |