Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/kmemleak.c __create_object() -> __link_object()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | object | 4096-ptr_max |
| PARAM_VALUE | 0 | object->checksum | u32max |
| PARAM_VALUE | 0 | object->count | 0 |
| PARAM_VALUE | 0 | object->del_state | 0 |
| PARAM_VALUE | 0 | object->excess_ref | 0 |
| PARAM_VALUE | 0 | object->gray_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | object->gray_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | object->gray_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | object->gray_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | object->gray_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | object->lock.magic | 3735899821 |
| PARAM_VALUE | 0 | object->lock.owner | (-1) |
| PARAM_VALUE | 0 | object->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | object->object_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | object->object_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | object->object_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | object->object_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | object->object_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | object->unref_scans | 0 |
| PARAM_VALUE | 0 | object->use_count.counter | 1 |
| PARAM_VALUE | 3 | min_count | 0-2 |
| PARAM_VALUE | 4 | objflags | 0,16,32 |
| DATA_SOURCE | 0 | object | r __alloc_object |
| DATA_SOURCE | 1 | ptr | $0 |
| DATA_SOURCE | 2 | size | $1 |
| DATA_SOURCE | 3 | min_count | $2 |
| DATA_SOURCE | 4 | objflags | $4 |
| STR_LEN | 0 | object | (-1),1-8,10-12,14,16,20,31,39,45,88,255 |
| STR_LEN | 1 | ptr | (-1),1-8,10-12,14,16,20,31,39,45,88,255 |
| HARD_MAX | 3 | min_count | 2 |
| HARD_MAX | 4 | objflags | 32 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | size | 0,4096-11269994182080[c] |
| USER_DATA | 1 | ptr | 4096-9223372036854775806[c] |
| USER_DATA | 2 | size | 0-u64max |
| UNITS | 1 | ptr | unit_byte |
| UNITS | 2 | size | unit_byte |
| LOCK2 | flags | ||
| LOCK2 | global &kmemleak_lock |
mm/kmemleak.c delete_object_part() -> __link_object()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | object | 4096-ptr_max |
| PARAM_VALUE | 0 | object->checksum | u32max |
| PARAM_VALUE | 0 | object->count | 0 |
| PARAM_VALUE | 0 | object->del_state | 0 |
| PARAM_VALUE | 0 | object->excess_ref | 0 |
| PARAM_VALUE | 0 | object->gray_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | object->gray_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | object->gray_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | object->gray_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | object->gray_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | object->lock.magic | 3735899821 |
| PARAM_VALUE | 0 | object->lock.owner | (-1) |
| PARAM_VALUE | 0 | object->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | object->object_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | object->object_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | object->object_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | object->object_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | object->object_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | object->unref_scans | 0 |
| PARAM_VALUE | 0 | object->use_count.counter | 1 |
| PARAM_VALUE | 1 | ptr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | size | 1-u64max |
| PARAM_VALUE | 4 | objflags | 0,16 |
| CAPPED_DATA | 1 | ptr | 1 |
| CAPPED_DATA | 1 | ptr | 1 |
| DATA_SOURCE | 0 | object | r __alloc_object |
| DATA_SOURCE | 4 | objflags | $2 |
| HARD_MAX | 4 | objflags | 16 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | size | 1-u64max[c] |
| UNITS | 1 | ptr | unit_byte |
| UNITS | 2 | size | unit_byte |
| LOCK2 | flags | ||
| LOCK2 | global &kmemleak_lock |
mm/kmemleak.c delete_object_part() -> __link_object()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | object | 4096-ptr_max |
| PARAM_VALUE | 0 | object->checksum | u32max |
| PARAM_VALUE | 0 | object->count | 0 |
| PARAM_VALUE | 0 | object->del_state | 0 |
| PARAM_VALUE | 0 | object->excess_ref | 0 |
| PARAM_VALUE | 0 | object->gray_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | object->gray_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | object->gray_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | object->gray_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | object->gray_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | object->lock.magic | 3735899821 |
| PARAM_VALUE | 0 | object->lock.owner | (-1) |
| PARAM_VALUE | 0 | object->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | object->object_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | object->object_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | object->object_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | object->object_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | object->object_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | object->unref_scans | 0 |
| PARAM_VALUE | 0 | object->use_count.counter | 1 |
| PARAM_VALUE | 1 | ptr | 0-18446744073709551614 |
| PARAM_VALUE | 4 | objflags | 0,16 |
| DATA_SOURCE | 0 | object | r __alloc_object |
| DATA_SOURCE | 4 | objflags | $2 |
| HARD_MAX | 4 | objflags | 16 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | ptr | unit_byte |
| UNITS | 2 | size | unit_byte |
| LOCK2 | flags | ||
| LOCK2 | global &kmemleak_lock |