-alarm-multiple alarm-priority alarm-zero alarm-negative \
-priority-change priority-donate-one priority-donate-multiple \
-priority-donate-nest 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)
+alarm-multiple alarm-simultaneous alarm-priority alarm-zero \
+alarm-negative priority-change priority-donate-one \
+priority-donate-multiple priority-donate-multiple2 \
+priority-donate-nest priority-donate-sema priority-donate-lower \
+priority-fifo priority-preempt priority-sema priority-condvar \
+priority-donate-chain \
+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)