Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/module/main.c find_symbol() -> find_exported_symbol_in_section()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | syms | 6748924382800359424 |
| PARAM_VALUE | 0 | syms->crcs | 653470089829810176 |
| PARAM_VALUE | 0 | syms->flagstab | 909474623959068672 |
| PARAM_VALUE | 0 | syms->start | 2800881235135938560 |
| PARAM_VALUE | 0 | syms->stop | 2614828948664946688 |
| PARAM_VALUE | 1 | owner | 0 |
| PARAM_VALUE | 2 | fsa | 1796854490885996544,3725071588311777280,5974997475773988864,6762002775833153536 |
| PARAM_VALUE | 2 | fsa->crc | 0 |
| PARAM_VALUE | 2 | fsa->license | 0 |
| PARAM_VALUE | 2 | fsa->owner | 0 |
| PARAM_VALUE | 2 | fsa->sym | 0 |
| DATA_SOURCE | 2 | fsa | $0 |
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &module_mutex | ||
| HALF_LOCKED2 | rcu_read |
kernel/module/main.c find_symbol() -> find_exported_symbol_in_section()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | syms | 6748924382800359424 |
| PARAM_VALUE | 0 | syms->stop | 4096-ptr_max |
| PARAM_VALUE | 1 | owner | 4096-ptr_max |
| PARAM_VALUE | 1 | owner->state | 0-2,4-u32max |
| PARAM_VALUE | 2 | fsa | 1796854490885996544,3725071588311777280,5974997475773988864,6762002775833153536 |
| PARAM_VALUE | 2 | fsa->crc | 0 |
| PARAM_VALUE | 2 | fsa->license | 0 |
| PARAM_VALUE | 2 | fsa->owner | 0 |
| PARAM_VALUE | 2 | fsa->sym | 0 |
| DATA_SOURCE | 2 | fsa | $0 |
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &module_mutex | ||
| HALF_LOCKED2 | rcu_read |