void pm_debug_set_wakeup_timer() { u32 val = get_sys_cnt(); val = val + 2000; __raw_writel(val, SYSCNT_REG(0) ); __raw_writel(1, SYSCNT_REG(0X8) ); }
static irqreturn_t sys_cnt_isr(int irq, void *dev_id) { __raw_writel(8, SYSCNT_REG(0X8)); return IRQ_HANDLED; }