STVAL
writel(0, mmio + STVAL);
writel((u32)SOFT_TIMER_FREQ, mmio + STVAL); /* 0.5 sec */
writel(0x0, mmio + STVAL);