/* Set bits GPIO data out register to 1.  */
void GPIO_PortOutSet(GPIO_Port_TypeDef port, uint32_t pins)
/* Set bits GPIO data out register to 1.  */
void GPIO_PortOutSet(GPIO_Port_TypeDef port, uint32_t pins)
{
  EFM_ASSERT(GPIO_PORT_VALID(port));
  GPIO->P[port].DOUTSET = pins & _GPIO_P_DOUTSET_DOUTSET_MASK;
}