WTCSR_HIGH
__raw_writel((WTCSR_HIGH << 24) | (__u32)val, WTCSR);
__raw_writew((WTCSR_HIGH << 8) | (__u16)val, WTCSR);