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