seg_y2x
static __inline uint64_t seg_y2x(uint64_t, uint64_t);
x = rtsc->x + seg_y2x(y - rtsc->y, rtsc->ism1);
+ seg_y2x(y - rtsc->y - rtsc->dy, rtsc->ism2);