Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/debugobjects.c fill_pool_from_freelist() -> pool_move_batch()

Type Parameter Key Value
PARAM_VALUE 0 dst 5100753452384944128
PARAM_VALUE 0 dst->cnt 0-2147483646
PARAM_VALUE 0 dst->objects.first 0,4096-ptr_max
PARAM_VALUE 1 src 643172748885221376
PARAM_VALUE 1 src->cnt 1-u32max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->flags
LOCK2 global &pool_lock

lib/debugobjects.c free_obj_work() -> pool_move_batch()

Type Parameter Key Value
PARAM_VALUE 0 dst 5100753452384944128
PARAM_VALUE 0 dst->objects.first 0,4096-ptr_max
PARAM_VALUE 1 src 643172748885221376
PARAM_VALUE 1 src->cnt 1-u32max
LOCK2 global &pool_lock
LOCK2 irq
HALF_LOCKED2 &pool->lock

lib/debugobjects.c pcpu_alloc() -> pool_move_batch()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 dst->cnt 0-96
PARAM_VALUE 0 dst->objects.first 1-u64max
PARAM_VALUE 1 src 643172748885221376
PARAM_VALUE 1 src->cnt 1-u32max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pool_lock
HALF_LOCKED2 &b->lock
HALF_LOCKED2 irq

lib/debugobjects.c pcpu_alloc() -> pool_move_batch()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 dst->objects.first 0
PARAM_VALUE 1 src 643172748885221376
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &pool_lock
HALF_LOCKED2 &b->lock
HALF_LOCKED2 irq

lib/debugobjects.c pcpu_alloc() -> pool_move_batch()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 dst->objects.first 0
PARAM_VALUE 1 src 5100753452384944128
PARAM_VALUE 1 src->objects.first 0,4096-ptr_max
CAPPED_DATA 0 dst->max_cnt 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &pool_lock
HALF_LOCKED2 &b->lock
HALF_LOCKED2 irq

lib/debugobjects.c pcpu_free() -> pool_move_batch()

Type Parameter Key Value
PARAM_VALUE 0 dst 5100753452384944128
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 1 src->cnt 128-u32max
PARAM_VALUE 1 src->objects.first 4096-ptr_max
FUZZY_MAX 1 src->cnt 128
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->flags
LOCK2 global &pool_lock
HALF_LOCKED2 &db->lock

lib/debugobjects.c pcpu_free() -> pool_move_batch()

Type Parameter Key Value
PARAM_VALUE 0 dst 643172748885221376
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 1 src->cnt 128-u32max
PARAM_VALUE 1 src->objects.first 4096-ptr_max
FUZZY_MAX 1 src->cnt 128
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->flags
LOCK2 global &pool_lock
HALF_LOCKED2 &db->lock