ksem_destroy_should_fail
ksem_destroy_should_fail(id, EBUSY);
ksem_destroy_should_fail(id, EINVAL);
ksem_destroy_should_fail(STDERR_FILENO, EINVAL);