#include "device_registers.h"
#undef RCC
#undef GPIOA
#undef GPIOB
#undef GPIOC
extern RCC_TypeDef host_rcc;
extern GPIO_TypeDef host_gpio_a,host_gpio_b,host_gpio_c;
#define RCC (&host_rcc)
#define GPIOA (&host_gpio_a)
#define GPIOB (&host_gpio_b)
#define GPIOC (&host_gpio_c)
#define __DSB() ((void)0)
#define __WFI() ((void)0)
