Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/microchip/sparx5/sparx5_psfp.c sparx5_psfp_sg_add() -> sparx5_new_base_time()

Type Parameter Key Value
PARAM_VALUE 0 sparx5 4096-ptr_max
PARAM_VALUE 0 sparx5->data 4096-ptr_max
PARAM_VALUE 0 sparx5->data->consts 4096-ptr_max
PARAM_VALUE 0 sparx5->data->consts->n_gates 256,1024
PARAM_VALUE 1 cycle_time 0,1000-999999999
PARAM_VALUE 2 org_base_time 0
PARAM_VALUE 3 new_base_time 2340153387475456000
CAPPED_DATA 0 sparx5->data->consts->n_gates 1
DATA_SOURCE 0 sparx5 $0
FUZZY_MAX 1 cycle_time 1000000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &block->cb_lock
HALF_LOCKED2 &flowtable->flow_block_lock