/* * Scheduling policies required by IEEE Std 1003.1-2001 */