/* Puts select peripherals in sleep mode. 
This function will put the device into sleep mode. Most gpio pins can be used to wake the device up, but the pins must first be configured for this in pmuInit. */
void pmuSleep()
/* Puts select peripherals in sleep mode. 
This function will put the device into sleep mode. Most gpio pins can be used to wake the device up, but the pins must first be configured for this in pmuInit. */
void pmuSleep()
{
  SCB_PDAWAKECFG = SCB_PDRUNCFG;
  __asm volatile ("WFI");
  return;
}