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