/* Setup interrupt masks, etc to enable wakeup by power switch  */
static void __default_power_switch_setup(void)
/* Setup interrupt masks, etc to enable wakeup by power switch  */
static void __default_power_switch_setup(void)
{
	__irq_mask = *(unsigned long *)0xfeff9820;
	*(unsigned long *)0xfeff9820 = 0xfffe0000;
}