|
VSF Documented
|
#include "hal/arch/vsf_arch_abstraction.h"#include "hal/driver/driver.h"#include "hal/arch/__vsf_arch_interface.h"Functions | |
| bool | vsf_arch_low_level_init (void) |
| vsf_gint_state_t | vsf_get_interrupt (void) |
| vsf_gint_state_t | vsf_set_interrupt (vsf_gint_state_t level) |
| vsf_gint_state_t | vsf_disable_interrupt (void) |
| vsf_gint_state_t | vsf_enable_interrupt (void) |
| void | vsf_arch_sleep (uint32_t mode) |
| 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_refresh (void) |
| void | vsf_arch_mmu_enable (uint32_t *ttb) |
| void | vsf_cache_sync (void *addr, uint_fast32_t size, bool is_from_device) |
| bool vsf_arch_low_level_init | ( | void | ) |
| none |
| true | initialization succeeded. |
| false | initialization failed |
| vsf_gint_state_t vsf_get_interrupt | ( | void | ) |
| vsf_gint_state_t vsf_set_interrupt | ( | vsf_gint_state_t | level | ) |
| vsf_gint_state_t vsf_disable_interrupt | ( | void | ) |
| vsf_gint_state_t vsf_enable_interrupt | ( | void | ) |
| void vsf_arch_sleep | ( | uint32_t | mode | ) |
| 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_refresh | ( | void | ) |
| void vsf_arch_mmu_enable | ( | uint32_t * | ttb | ) |
| void vsf_cache_sync | ( | void * | addr, |
| uint_fast32_t | size, | ||
| bool | is_from_device | ||
| ) |