void suspendsched(void);
The suspendsched() function must not be called with the scheduler lock held.