/* Cleanup interrupt masks, etc after wakeup by power switch  */
static void __default_power_switch_cleanup(void)
/* Cleanup interrupt masks, etc after wakeup by power switch  */
static void __default_power_switch_cleanup(void)
{
	*(unsigned long *)0xfeff9820 = __irq_mask;
}