Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/jump_label.c jump_label_update_timeout() -> __static_key_slow_dec()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

kernel/jump_label.c static_key_slow_dec() -> __static_key_slow_dec()

Type Parameter Key Value
BUF_SIZE 0 key (-1),4-5,7-8,12,16,20,24,28,32,36-37,40,44,46,48,52,63-65,74,132,768,2048
BUF_SIZE 0 key (-1),4-5,7-8,12,16,20,24,28,32,36-37,40,44,46,48,52,63-65,74,132,768,2048
DATA_SOURCE 0 key $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &disk->error_injection_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &ops->lock
HALF_LOCKED2 &rps_map_mutex
HALF_LOCKED2 &sock_flow_mutex
HALF_LOCKED2 &stm->link_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &bpf_stats_enabled_mutex
HALF_LOCKED2 global &cgroup_mutex
HALF_LOCKED2 global &kunit_run_lock
HALF_LOCKED2 global &netns_bpf_mutex
HALF_LOCKED2 global &nf_hook_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &system_transition_mutex
HALF_LOCKED2 global &tracepoints_mutex
HALF_LOCKED2 sk