This shouldn't be a typedef, and it seems like it should be moved into pios_stm32.h.