emit_timestamp_store
cs = emit_timestamp_store(cs, ce, offset + i * sizeof(u32));
cs = emit_timestamp_store(cs, ce, offset + i * sizeof(u32));
cs = emit_timestamp_store(cs, ce, offset + i * sizeof(u32));
cs = emit_timestamp_store(cs, ce, offset + i * sizeof(u32));
cs = emit_timestamp_store(cs, ce, addr);
cs = emit_timestamp_store(cs, ce, addr + sizeof(u32));
cs = emit_timestamp_store(cs, ce, addr);
cs = emit_timestamp_store(cs, ce, offset + i * sizeof(u32));