Defined in 1 files as a member:
Defined in 3 files as a function:
- arch/x86/platform/efi/runtime-map.c, line 88 (as a function)
- drivers/uio/uio.c, line 96 (as a function)
- fs/proc/task_nommu.c, line 274 (as a function)
Referenced in 5 files:
- arch/x86/platform/efi/runtime-map.c, line 99
- drivers/uio/uio.c, line 122
- fs/proc/task_nommu.c, line 294
- kernel/bpf/arraymap.c, line 1332
- kernel/bpf/syscall.c
Smatch caller information:
lib/kobject.c kobject_cleanup() -> (struct kobj_type)->release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kobj | 4096-ptr_max |
| PARAM_VALUE | 0 | kobj->ktype->release | 1-u64max |
| PARAM_VALUE | 0 | kobj->state_in_sysfs | 0 |
| DATA_SOURCE | 0 | kobj | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |