cpts_read32
cpts_read32(cpts, ts_push);
v = cpts_read32(cpts, control);
u32 r = cpts_read32(cpts, intstat_raw);
*high = cpts_read32(cpts, event_high);
*low = cpts_read32(cpts, event_low);