Lines Matching refs:lock
471 struct lock_info *lock = &lock_table[index]; in get_full_name() local
475 if (lock->arg == RETURN_VAL) { in get_full_name()
477 } else if (lock->arg == NO_ARG) { in get_full_name()
478 return alloc_string(get_lock_name(lock->type)); in get_full_name()
480 arg = get_argument_from_call_expr(expr->args, lock->arg); in get_full_name()
751 struct lock_info *lock = &lock_table[index]; in match_lock_held() local
755 if (lock->arg == NO_ARG) { in match_lock_held()
757 } else if (lock->arg == RETURN_VAL) { in match_lock_held()
766 do_lock(lock_name, sym, lock); in match_lock_held()
774 struct lock_info *lock = &lock_table[index]; in match_lock_failed() local
778 if (lock->arg == NO_ARG) { in match_lock_failed()
780 } else if (lock->arg == RETURN_VAL) { in match_lock_failed()
797 struct lock_info *lock = &lock_table[index]; in match_returns_locked() local
801 if (lock->arg != RETURN_VAL) in match_returns_locked()
806 do_lock(full_name, sym, lock); in match_returns_locked()
812 struct lock_info *lock = &lock_table[index]; in match_lock_unlock() local
819 switch (lock->action) { in match_lock_unlock()
821 do_lock(full_name, sym, lock); in match_lock_unlock()
824 do_unlock(full_name, sym, lock); in match_lock_unlock()
827 do_restore(full_name, sym, lock); in match_lock_unlock()
1080 struct lock_info *lock = &lock_table[index]; in register_lock() local
1083 if (lock->return_type == ret_one) { in register_lock()
1084 return_implies_state(lock->function, 1, 1, &match_lock_held, idx); in register_lock()
1085 return_implies_state(lock->function, 0, 0, &match_lock_failed, idx); in register_lock()
1086 } else if (lock->return_type == ret_any && lock->arg == RETURN_VAL) { in register_lock()
1087 add_function_assign_hook(lock->function, &match_returns_locked, idx); in register_lock()
1088 } else if (lock->return_type == ret_any) { in register_lock()
1089 add_function_hook(lock->function, &match_lock_unlock, idx); in register_lock()
1090 } else if (lock->return_type == ret_zero) { in register_lock()
1091 return_implies_state(lock->function, 0, 0, &match_lock_held, idx); in register_lock()
1092 return_implies_state(lock->function, -4095, -1, &match_lock_failed, idx); in register_lock()
1093 } else if (lock->return_type == ret_valid_ptr) { in register_lock()
1094 …return_implies_state_sval(lock->function, valid_ptr_min_sval, valid_ptr_max_sval, &match_lock_held… in register_lock()
1230 struct expression *lock, *ctx; in match_dma_resv_lock_NULL() local
1234 lock = get_argument_from_call_expr(call_expr->args, 0); in match_dma_resv_lock_NULL()
1239 lock_name = lock_to_name_sym(lock, &sym); in match_dma_resv_lock_NULL()