Passed: priority-fifo, priority-preempt, priority-sema