Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/klist.c klist_add_before() -> klist_node_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | k | 269654901860569088 |
| PARAM_VALUE | 1 | n | 7077600220011782144,8151604059672043520 |
| DATA_SOURCE | 0 | k | r knode_klist |
| DATA_SOURCE | 1 | n | $0 |
| NOCHECK_CALL |
lib/klist.c klist_add_behind() -> klist_node_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | k | 1562662058041688064 |
| PARAM_VALUE | 1 | n | 3044795366889377792,7461775441119825920 |
| DATA_SOURCE | 0 | k | r knode_klist |
| DATA_SOURCE | 1 | n | $0 |
| NOCHECK_CALL |
lib/klist.c klist_add_head() -> klist_node_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | k | 269654901860569088,576934384175435776,1562662058041688064,7622503939964665856 |
| PARAM_VALUE | 0 | k->get | 0,219889267673993216 |
| PARAM_VALUE | 0 | k->k_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | k->k_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | k->put | 0 |
| PARAM_VALUE | 1 | n | 173979582975504384,971311415804485632,1344066638706360320,3483861725880406016,4431037969202106368,7346191339210850304,9025340232691585024 |
| DATA_SOURCE | 0 | k | $1 |
| DATA_SOURCE | 1 | n | $0 |
| NOCHECK_CALL |
lib/klist.c klist_add_tail() -> klist_node_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | n | 136,4096-ptr_max |
| DATA_SOURCE | 0 | k | $1 |
| DATA_SOURCE | 1 | n | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &sp->mutex | ||
| HALF_LOCKED2 | global &attribute_container_mutex | ||
| HALF_LOCKED2 | global &dpm_list_mtx |