Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/debugobjects.c debug_objects_replace_static_objects() -> pool_push_batch()

Type Parameter Key Value
PARAM_VALUE 0 dst 5100753452384944128
PARAM_VALUE 0 dst->max_cnt 0-s32max
PARAM_VALUE 0 dst->objects.first 0,4096-ptr_max
PARAM_VALUE 1 head 7995245886988709888
PARAM_VALUE 1 head->first 4096-ptr_max
NOCHECK_CALL
LOCK2 irq

lib/debugobjects.c fill_pool() -> pool_push_batch()

Type Parameter Key Value
PARAM_VALUE 0 dst 5100753452384944128
PARAM_VALUE 0 dst->cnt 0-2147483646
PARAM_VALUE 0 dst->max_cnt 0-s32max
PARAM_VALUE 0 dst->objects.first 0,4096-ptr_max
PARAM_VALUE 1 head 2280733368644468736
PARAM_VALUE 1 head->first 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &pool_lock
LOCK2 irq

lib/debugobjects.c fill_pool() -> pool_push_batch()

Type Parameter Key Value
PARAM_VALUE 0 dst 643172748885221376
PARAM_VALUE 1 head 2280733368644468736
PARAM_VALUE 1 head->first 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pool_lock
LOCK2 irq