/* When the kernel calls this it has masked interrupt by setting NVIC BASEPRI equal to a value equal to the highest Zephyr ISR priority. Only NVIC exceptions will be served.  */
static void z_power_soc_sleep(void)
/* When the kernel calls this it has masked interrupt by setting NVIC BASEPRI equal to a value equal to the highest Zephyr ISR priority. Only NVIC exceptions will be served.  */
static void z_power_soc_sleep(void)
{
	struct pcr_regs *pcr = PCR_XEC_REG_BASE;
	__disable_irq();
	SCB->SCR &= ~BIT(2);
	pcr->SYS_SLP_CTRL = MCHP_PCR_SYS_SLP_LIGHT;
	pcr->OSC_ID = pcr->SYS_SLP_CTRL;
	__set_BASEPRI(0);
	__WFI();
	__NOP();
	__NOP();
	pcr->SYS_SLP_CTRL = 0U;
}