Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/padata.c padata_do_multithreaded() -> (struct padata_mt_job)->thread_fn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | arg | 0,4096-ptr_max |
| BUF_SIZE | 2 | arg | 66112 |
| CONTAINER | 0 | *(-0+16) | $(-1) |
| CONTAINER | 2 | *(-0+8) | $(-1) |
| NOCHECK_CALL |
kernel/padata.c padata_mt_helper() -> (struct padata_mt_job)->thread_fn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 2 | arg | 66112 |
| CONTAINER | 2 | *(-0+8) | $(-1) |
| PARAM_COMPARE | 0 | start | <= $1 |
| PARAM_COMPARE | 1 | end | >= $0 |
| PARAM_COMPARE | 1 | end | >= $0 |
| NOCHECK_CALL |