Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/notify/mark.c fsnotify_attach_connector_to_object() -> fsnotify_untrack_connector()

Type Parameter Key Value
PARAM_VALUE 0 conn 1-u64max
PARAM_VALUE 0 conn->flags 0
PARAM_VALUE 0 conn->prio 0
PARAM_VALUE 0 conn->type 0-3
BUF_SIZE 0 conn (-1),96
BUF_SIZE 0 conn (-1),96
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &group->mark_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &audit_tree_group->mark_mutex
HALF_LOCKED2 global &dnotify_group->mark_mutex
TYPE_LOCK (struct fsnotify_group)->mark_mutex

fs/notify/mark.c fsnotify_detach_connector_from_object() -> fsnotify_untrack_connector()

Type Parameter Key Value
PARAM_VALUE 0 conn 4096-ptr_max
PARAM_VALUE 0 conn->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 conn->type 0
DATA_SOURCE 0 conn $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &(*connp)->lock
HALF_LOCKED2 0 &conn->lock