HFSC_FREQ
sm = (m << SM_SHIFT) / 8 / HFSC_FREQ;
ism = ((u_int64_t)HFSC_FREQ << ISM_SHIFT) * 8 / m;
dx = ((u_int64_t)d * HFSC_FREQ) / 1000;
m = (sm * 8 * HFSC_FREQ) >> SM_SHIFT;
d = dx * 1000 / HFSC_FREQ;
sp->machclk_freq = HFSC_FREQ;