#include "registers.h"
#undef GPIOA
#undef GPIOB
#undef GPIOC
#undef RCC
extern GPIO_TypeDef a,b,c;
extern RCC_TypeDef r;
#define GPIOA (&a)
#define GPIOB (&b)
#define GPIOC (&c)
#define RCC (&r)
#define __DSB() ((void)0)
