Defined in 1 files as a prototype:
Defined in 3 files as a function:
- kernel/kcsan/core.c, line 727 (as a function)
- sound/core/seq/seq_queue.c, line 337 (as a function)
- tools/lib/bpf/zip.c, line 135 (as a function)
Referenced in 4 files:
- kernel/kcsan/core.c
- sound/core/seq/seq_queue.c
- tools/lib/bpf/zip.c
- tools/testing/selftests/bpf/progs/test_libbpf_get_fd_by_id_opts.c, line 27
Smatch caller information:
sound/core/seq/seq_queue.c queue_access_lock() -> check_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | q | 4096-ptr_max |
| DATA_SOURCE | 0 | q | $0 |
| DATA_SOURCE | 1 | client | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | irq | ||
| LOCK2 | 0 | &q->owner_lock | |
| TYPE_LOCK | (struct snd_seq_queue)->owner_lock |
sound/core/seq/seq_queue.c snd_seq_queue_check_access() -> check_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | q | 4096-ptr_max |
| DATA_SOURCE | 0 | q | r queueptr |
| DATA_SOURCE | 1 | client | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | irq | ||
| LOCK2 | 0 | &q->owner_lock | |
| TYPE_LOCK | (struct snd_seq_queue)->owner_lock |