pxa2x0_memctl_write
extern void pxa2x0_memctl_write(int, uint32_t);
pxa2x0_memctl_write(MEMCTL_MSC0, (rv & 0xffff) | 0x7ee00000);
pxa2x0_memctl_write(MEMCTL_MSC0,