STM32: GPIO: use uint16_t for the mask of pins that we want read/write
[bertos.git] / boards / .spec