#include "device_registers.h"
#undef RCC
#undef GPIOA
#undef TIM1
#undef SYSCFG
#undef EXTI
#undef ADC1
#undef ADC1_COMMON
extern RCC_TypeDef host_rcc;
extern GPIO_TypeDef host_gpio;
extern TIM_TypeDef host_tim;
extern SYSCFG_TypeDef host_syscfg;
extern EXTI_TypeDef host_exti;
extern ADC_TypeDef host_adc;
extern ADC_Common_TypeDef host_adc_common;
extern uint32_t SystemCoreClock;
#define RCC (&host_rcc)
#define GPIOA (&host_gpio)
#define TIM1 (&host_tim)
#define SYSCFG (&host_syscfg)
#define EXTI (&host_exti)
#define ADC1 (&host_adc)
#define ADC1_COMMON (&host_adc_common)
#define __DSB() ((void)0)
#define __NOP() ((void)0)
static inline void NVIC_ClearPendingIRQ(IRQn_Type x) {(void)x;}
static inline void NVIC_EnableIRQ(IRQn_Type x) {(void)x;}
