Go to the documentation of this file.
24#ifdef __VSF_HEADER_ONLY_SHOW_ARCH_INFO__
28# define VSF_ARCH_PRI_NUM 8
29# define VSF_ARCH_PRI_BIT 3
32#define VSF_DEV_SWI_NUM 19
37extern unsigned int system_core_clock;
41#define VSF_ARCH_SYSTIMER_FREQ system_core_clock
45#ifndef __HAL_DEVICE_GEEHY_APM32F407_H__
46#define __HAL_DEVICE_GEEHY_APM32F407_H__
49#define VSF_DEV_SWI_LIST 70, 74, 75, 79, 80, 85, 86, 87, 88, 89, 90, 93, 95, 96, 97, 98, 99, 100, 101
54#include "../common/__common.h"
62#define VSF_HW_USB_OTG_COUNT 2
64#define USB_DWCOTG_MAX_EP_NUM 16
66#define VSF_HW_USB_OTG0_IRQHandler OTGFS1_IRQHandler
67#define VSF_HW_USB_OTG0_CONFIG \
68 .dc_ep_num = 8 << 1, \
70 .reg = (void *)OTGFS1_BASE, \
73 .buffer_word_size = 320, \
74 .speed = USB_SPEED_FULL, \
80#define VSF_HW_USB_OTG1_IRQHandler OTGFS2_IRQHandler
81#define VSF_HW_USB_OTG1_CONFIG \
82 .dc_ep_num = 8 << 1, \
84 .reg = (void *)OTGFS2_BASE, \
87 .buffer_word_size = 320, \
88 .speed = USB_SPEED_FULL, \