Defined in 1 files as a function:
Referenced in 4 files:
- drivers/md/dm-vdo/indexer/radix-sort.c
- kernel/sched/core.c
- kernel/sched/deadline.c
- kernel/sched/rt.c
Smatch caller information:
drivers/md/dm-vdo/indexer/radix-sort.c push_bins() -> push_task()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | stack_pointer | 5158423159838093312 |
| PARAM_VALUE | 0 | *stack_pointer | 4096-18446744073709547521 |
| PARAM_VALUE | 4 | length | 1-u16max |
| CAPPED_DATA | 0 | *stack_pointer | 1 |
| DATA_SOURCE | 0 | stack_pointer | $0 |
| DATA_SOURCE | 3 | offset | $6 |
| DATA_SOURCE | 4 | length | $7 |
| BIT_INFO | 2 | count | 0x0,0x0 |
| NOCHECK_CALL |
drivers/md/dm-vdo/indexer/radix-sort.c push_bins() -> push_task()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | stack_pointer | 7903640550529974272 |
| PARAM_VALUE | 4 | length | 1-u16max |
| DATA_SOURCE | 0 | stack_pointer | $2 |
| DATA_SOURCE | 3 | offset | $6 |
| DATA_SOURCE | 4 | length | $7 |
| BIT_INFO | 2 | count | 0x0,0x0 |
| NOCHECK_CALL |