Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/jump_label.c __static_key_slow_dec_cpuslocked() -> static_key_dec_not_one()
| 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 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |
kernel/jump_label.c __static_key_slow_dec_deferred() -> static_key_dec_not_one()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | key | 1113087078136541184,1166969007605424128,2630385247300648960,2751667273920708608,4439965204397707264,6540495533191581696,7612466300441669632,8436189146151661568 |
| DATA_SOURCE | 0 | key | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &kvm->arch.xen.xen_lock |