/* Sets a high output level on one or more pin(s) (if configured as output(s)).  */
void PIO_Set(const Pin *pin)
/* Sets a high output level on one or more pin(s) (if configured as output(s)).  */
void PIO_Set(const Pin *pin)
{
    WRITE(pin->pio, PIO_SODR, pin->mask);
}