2 /* DEPRECATED extern char * regtohex(uint32_t ); */
3 extern uint32_t hextoreg(char *); // TODO: scanf
4 extern void rsetbit(volatile uint32_t *, short);
5 extern void rclrbit(volatile uint32_t *, short);
6 extern void rsetbitsfrom(volatile uint32_t *, short, int);
7 extern int rchkbit(volatile uint32_t *, short);
8 extern void rwrite(volatile uint32_t *, uint32_t);
11 * extern void regw_u8(volatile uint32_t *, uint8_t, short, short);
12 * extern void regw_u32(volatile uint32_t *, uint32_t, short, short);