CVMX_MIO_BOOT_LOC_DAT
cvmx_write_csr(CVMX_MIO_BOOT_LOC_DAT, v);
cvmx_write_csr(CVMX_MIO_BOOT_LOC_DAT, kseg0_mem);