CVMX_FPA_FPF1_MARKS
cvmx_read_csr(CVMX_FPA_FPF1_MARKS + (i - 1) * 8ull);
cvmx_write_csr(CVMX_FPA_FPF1_MARKS + (i - 1) * 8ull,