FAULT_LOCK_TIMEOUT
if (time_to_inject(sem->sbi, FAULT_LOCK_TIMEOUT))
[FAULT_LOCK_TIMEOUT] = "lock timeout",