/* Toggle a single pin in GPIO port data out register.  */
void GPIO_PortOutToggle(GPIO_Port_TypeDef port, uint32_t pins)
/* Toggle a single pin in GPIO port data out register.  */
void GPIO_PortOutToggle(GPIO_Port_TypeDef port, uint32_t pins)
{
  EFM_ASSERT(GPIO_PORT_VALID(port));
  GPIO->P[port].DOUTTGL = pins & _GPIO_P_DOUTTGL_DOUTTGL_MASK;
}