/* Get current setting for a GPIO port data out register.  */
uint32_t GPIO_PortOutGet(GPIO_Port_TypeDef port)
/* Get current setting for a GPIO port data out register.  */
uint32_t GPIO_PortOutGet(GPIO_Port_TypeDef port)
{
  EFM_ASSERT(GPIO_PORT_VALID(port));
  return(GPIO->P[port].DOUT & _GPIO_P_DOUT_DOUT_MASK);
}