/* Set bits in DOUT register for a port to 0.  */
void GPIO_PortOutClear(GPIO_Port_TypeDef port, uint32_t pins)
/* Set bits in DOUT register for a port to 0.  */
void GPIO_PortOutClear(GPIO_Port_TypeDef port, uint32_t pins)
{
  EFM_ASSERT(GPIO_PORT_VALID(port));
  GPIO->P[port].DOUTCLR = pins & _GPIO_P_DOUTCLR_DOUTCLR_MASK;
}