/* Set a single pin in GPIO data out port register to 0.  */
void GPIO_PinOutClear(GPIO_Port_TypeDef port, unsigned int pin)
/* Set a single pin in GPIO data out port register to 0.  */
void GPIO_PinOutClear(GPIO_Port_TypeDef port, unsigned int pin)
{
  EFM_ASSERT(GPIO_PORT_VALID(port) && GPIO_PIN_VALID(pin));
  GPIO->P[port].DOUTCLR = 1 << pin;
}