Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/inet_diag.c __inet_diag_dump() -> inet_diag_unlock_handler()

Type Parameter Key Value
PARAM_VALUE 0 handler 4096-ptr_max
PARAM_VALUE 0 handler->owner 0,4096-ptr_max
PARAM_VALUE 0 handler->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 handler->owner->state 0-1,3-u32max
DATA_SOURCE 0 handler r inet_diag_lock_handler
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

net/ipv4/inet_diag.c inet_diag_cmd_exact() -> inet_diag_unlock_handler()

Type Parameter Key Value
PARAM_VALUE 0 handler 4096-ptr_max
PARAM_VALUE 0 handler->owner 0,4096-ptr_max
PARAM_VALUE 0 handler->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 handler->owner->state 0-1,3-u32max
DATA_SOURCE 0 handler r inet_diag_lock_handler
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex

net/ipv4/inet_diag.c inet_diag_handler_get_info() -> inet_diag_unlock_handler()

Type Parameter Key Value
PARAM_VALUE 0 handler 4096-ptr_max
PARAM_VALUE 0 handler->owner 0,4096-ptr_max
PARAM_VALUE 0 handler->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 handler->owner->state 0-1,3-u32max
DATA_SOURCE 0 handler r inet_diag_lock_handler
NOCHECK_CALL
HALF_LOCKED2 &pool->lock