Symbol: SCHED_FIXEDPOINT_SHIFT