-priority-donate-nest priority-donate-sema priority-fifo \
-priority-preempt priority-sema priority-condvar mlfqs-load-1 \
-mlfqs-load-60 mlfqs-load-avg mlfqs-recent-1 mlfqs-fair-2 mlfqs-fair-20 \
-mlfqs-nice-2 mlfqs-nice-10 mlfqs-block)
+priority-donate-nest priority-donate-sema priority-donate-lower \
+priority-fifo priority-preempt priority-sema priority-condvar \
+mlfqs-load-1 mlfqs-load-60 mlfqs-load-avg mlfqs-recent-1 mlfqs-fair-2 \
+mlfqs-fair-20 mlfqs-nice-2 mlfqs-nice-10 mlfqs-block)