cpts_write32
cpts_write32(cpts, TS_PUSH, ts_push);
cpts_write32(cpts, v, control);
cpts_write32(cpts, CPTS_EN, control);
cpts_write32(cpts, TS_PEND_EN, int_enable);
cpts_write32(cpts, EVENT_POP, event_pop);
cpts_write32(cpts, 0, int_enable);
cpts_write32(cpts, 0, control);