rtsc_x2y
static uint64_t rtsc_x2y(struct runtime_sc *, uint64_t);
y1 = rtsc_x2y(rtsc, x);
y2 = rtsc_x2y(rtsc, x + isc->dx);