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