hfsc_rtsc_x2y
y1 = hfsc_rtsc_x2y(rtsc, x);
y2 = hfsc_rtsc_x2y(rtsc, x + isc->dx);
u_int64_t hfsc_rtsc_x2y(struct hfsc_runtime_sc *, u_int64_t);