/* Note: Might want to change this later to allow for passing in a parameter to optionally set the sleep on exit bit.  */
void wait(void)
/* Note: Might want to change this later to allow for passing in a parameter to optionally set the sleep on exit bit.  */
void wait(void)
{
	SCB_SCR &= ~SCB_SCR_SLEEPDEEP_MASK;
	asm("WFI");
}