Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/ts_bm.c bm_find() -> (struct ts_config)->get_next_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dst | 4047823620003627008 |
| PARAM_VALUE | 2 | conf | 4096-ptr_max |
| PARAM_VALUE | 2 | conf->get_next_block | 3668769459091988480,7353591601239080960 |
| PARAM_VALUE | 2 | conf->ops | 4096-ptr_max |
| PARAM_VALUE | 3 | state | 4096-ptr_max |
| PARAM_VALUE | 3 | state->offset | 0 |
| DATA_SOURCE | 2 | conf | $0 |
| DATA_SOURCE | 3 | state | $1 |
| CONTAINER | 2 | -16+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/ts_fsm.c fsm_find() -> (struct ts_config)->get_next_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | consumed | 0 |
| PARAM_VALUE | 1 | dst | 6077712946495852544 |
| PARAM_VALUE | 2 | conf | 4096-ptr_max |
| PARAM_VALUE | 2 | conf->get_next_block | 3668769459091988480,7353591601239080960 |
| PARAM_VALUE | 2 | conf->ops | 4096-ptr_max |
| PARAM_VALUE | 3 | state | 4096-ptr_max |
| PARAM_VALUE | 3 | state->offset | 0 |
| DATA_SOURCE | 2 | conf | $0 |
| DATA_SOURCE | 3 | state | $1 |
| CONTAINER | 2 | -16+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/ts_fsm.c fsm_find() -> (struct ts_config)->get_next_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dst | 6077712946495852544 |
| PARAM_VALUE | 2 | conf | 4096-ptr_max |
| PARAM_VALUE | 2 | conf->get_next_block | 3668769459091988480,7353591601239080960 |
| PARAM_VALUE | 2 | conf->ops | 4096-ptr_max |
| PARAM_VALUE | 3 | state | 4096-ptr_max |
| PARAM_VALUE | 3 | state->offset | 0 |
| DATA_SOURCE | 2 | conf | $0 |
| DATA_SOURCE | 3 | state | $1 |
| CONTAINER | 2 | -16+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/ts_fsm.c fsm_find() -> (struct ts_config)->get_next_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dst | 6077712946495852544 |
| PARAM_VALUE | 2 | conf | 4096-ptr_max |
| PARAM_VALUE | 2 | conf->get_next_block | 3668769459091988480,7353591601239080960 |
| PARAM_VALUE | 2 | conf->ops | 4096-ptr_max |
| PARAM_VALUE | 3 | state | 4096-ptr_max |
| PARAM_VALUE | 3 | state->offset | 0 |
| DATA_SOURCE | 2 | conf | $0 |
| DATA_SOURCE | 3 | state | $1 |
| CONTAINER | 2 | -16+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/ts_fsm.c fsm_find() -> (struct ts_config)->get_next_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dst | 6077712946495852544 |
| PARAM_VALUE | 2 | conf | 4096-ptr_max |
| PARAM_VALUE | 2 | conf->get_next_block | 3668769459091988480,7353591601239080960 |
| PARAM_VALUE | 2 | conf->ops | 4096-ptr_max |
| PARAM_VALUE | 3 | state | 4096-ptr_max |
| PARAM_VALUE | 3 | state->offset | 0 |
| DATA_SOURCE | 2 | conf | $0 |
| DATA_SOURCE | 3 | state | $1 |
| CONTAINER | 2 | -16+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/ts_fsm.c fsm_find() -> (struct ts_config)->get_next_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dst | 6077712946495852544 |
| PARAM_VALUE | 2 | conf | 4096-ptr_max |
| PARAM_VALUE | 2 | conf->get_next_block | 3668769459091988480,7353591601239080960 |
| PARAM_VALUE | 2 | conf->ops | 4096-ptr_max |
| PARAM_VALUE | 3 | state | 4096-ptr_max |
| PARAM_VALUE | 3 | state->offset | 0 |
| DATA_SOURCE | 2 | conf | $0 |
| DATA_SOURCE | 3 | state | $1 |
| CONTAINER | 2 | -16+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/ts_fsm.c fsm_find() -> (struct ts_config)->get_next_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dst | 6077712946495852544 |
| PARAM_VALUE | 1 | *dst | 4096-ptr_max |
| PARAM_VALUE | 2 | conf | 4096-ptr_max |
| PARAM_VALUE | 2 | conf->get_next_block | 3668769459091988480,7353591601239080960 |
| PARAM_VALUE | 2 | conf->ops | 4096-ptr_max |
| PARAM_VALUE | 3 | state | 4096-ptr_max |
| PARAM_VALUE | 3 | state->offset | 0 |
| DATA_SOURCE | 2 | conf | $0 |
| DATA_SOURCE | 3 | state | $1 |
| CONTAINER | 2 | -16+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/ts_fsm.c fsm_find() -> (struct ts_config)->get_next_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dst | 6077712946495852544 |
| PARAM_VALUE | 2 | conf | 4096-ptr_max |
| PARAM_VALUE | 2 | conf->get_next_block | 3668769459091988480,7353591601239080960 |
| PARAM_VALUE | 2 | conf->ops | 4096-ptr_max |
| PARAM_VALUE | 3 | state | 4096-ptr_max |
| PARAM_VALUE | 3 | state->offset | 0 |
| DATA_SOURCE | 2 | conf | $0 |
| DATA_SOURCE | 3 | state | $1 |
| CONTAINER | 2 | -16+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/ts_fsm.c fsm_find() -> (struct ts_config)->get_next_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dst | 6077712946495852544 |
| PARAM_VALUE | 1 | *dst | 4096-ptr_max |
| PARAM_VALUE | 2 | conf | 4096-ptr_max |
| PARAM_VALUE | 2 | conf->get_next_block | 3668769459091988480,7353591601239080960 |
| PARAM_VALUE | 2 | conf->ops | 4096-ptr_max |
| PARAM_VALUE | 3 | state | 4096-ptr_max |
| PARAM_VALUE | 3 | state->offset | 0 |
| DATA_SOURCE | 2 | conf | $0 |
| DATA_SOURCE | 3 | state | $1 |
| CONTAINER | 2 | -16+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/ts_fsm.c fsm_find() -> (struct ts_config)->get_next_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dst | 6077712946495852544 |
| PARAM_VALUE | 2 | conf | 4096-ptr_max |
| PARAM_VALUE | 2 | conf->get_next_block | 3668769459091988480,7353591601239080960 |
| PARAM_VALUE | 2 | conf->ops | 4096-ptr_max |
| PARAM_VALUE | 3 | state | 4096-ptr_max |
| PARAM_VALUE | 3 | state->offset | 0 |
| DATA_SOURCE | 2 | conf | $0 |
| DATA_SOURCE | 3 | state | $1 |
| CONTAINER | 2 | -16+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/ts_kmp.c kmp_find() -> (struct ts_config)->get_next_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dst | 2782008527511388160 |
| PARAM_VALUE | 2 | conf | 4096-ptr_max |
| PARAM_VALUE | 2 | conf->get_next_block | 3668769459091988480,7353591601239080960 |
| PARAM_VALUE | 2 | conf->ops | 4096-ptr_max |
| PARAM_VALUE | 3 | state | 4096-ptr_max |
| PARAM_VALUE | 3 | state->offset | 0 |
| DATA_SOURCE | 2 | conf | $0 |
| DATA_SOURCE | 3 | state | $1 |
| CONTAINER | 2 | -16+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |