Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/locking/lockdep.c __lockdep_count_backward_deps() -> __bfs_backwards()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | src_entry | 8470021845543915520 |
| PARAM_VALUE | 0 | src_entry->class | 4096-ptr_max |
| PARAM_VALUE | 0 | src_entry->only_xr | 0 |
| PARAM_VALUE | 0 | src_entry->parent | 0 |
| PARAM_VALUE | 1 | data | 2837297149209411584 |
| PARAM_VALUE | 1 | *data | 0 |
| PARAM_VALUE | 3 | skip | 0 |
| PARAM_VALUE | 4 | target_entry | 6760110519501111296 |
| BUF_SIZE | 1 | data | 8 |
| DATA_SOURCE | 0 | src_entry | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &m->lock | ||
| LOCK2 | flags | ||
| TYPE_LOCK | (struct seq_file)->lock |
kernel/locking/lockdep.c check_irq_usage() -> __bfs_backwards()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | src_entry | 571699784668549120 |
| PARAM_VALUE | 0 | src_entry->only_xr | 0-1 |
| PARAM_VALUE | 0 | src_entry->parent | 0 |
| PARAM_VALUE | 1 | data | 2562505363241091072 |
| PARAM_VALUE | 1 | *data | 0 |
| PARAM_VALUE | 4 | target_entry | 0 |
| BUF_SIZE | 1 | data | 8 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags |
kernel/locking/lockdep.c find_usage_backwards() -> __bfs_backwards()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | src_entry | 571699784668549120,8916000455893024768 |
| PARAM_VALUE | 0 | src_entry->only_xr | 0-1 |
| PARAM_VALUE | 0 | src_entry->parent | 0 |
| PARAM_VALUE | 1 | *data | 0-255 |
| PARAM_VALUE | 4 | target_entry | 542149093072019456,8800568840619888640 |
| BUF_SIZE | 1 | data | 8 |
| DATA_SOURCE | 0 | src_entry | $0 |
| DATA_SOURCE | 4 | target_entry | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |