CVMX_MIO_PTP_CLOCK_COMP
cvmx_write_csr(CVMX_MIO_PTP_CLOCK_COMP, clock_comp);
u64 clock_comp = cvmx_read_csr(CVMX_MIO_PTP_CLOCK_COMP);