ISM_SHIFT
#define ISM_MASK ((1ULL << ISM_SHIFT) - 1)
x = (y >> ISM_SHIFT) * ism
+ (((y & ISM_MASK) * ism) >> ISM_SHIFT);
ism = ((u64)PSCHED_TICKS_PER_SEC << ISM_SHIFT);