CVMX_MIO_PTP_CLOCK_CFG
ptp.u64 = cvmx_read_csr(CVMX_MIO_PTP_CLOCK_CFG);
cvmx_write_csr(CVMX_MIO_PTP_CLOCK_CFG, ptp.u64);