WTCNT_HIGH
__raw_writew((WTCNT_HIGH << 8) | (__u16)val, WTCNT);
__raw_writel((WTCNT_HIGH << 24) | (__u32)val, WTCNT);
__raw_writeb((WTCNT_HIGH << 8) | (__u16)val, RSTCSR);