Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/3com/typhoon.c typhoon_inc_cmd_index() -> typhoon_inc_index()

Type Parameter Key Value
PARAM_VALUE 0 index 4096-ptr_max
PARAM_VALUE 1 count 1
PARAM_VALUE 2 num_entries 16
DATA_SOURCE 0 index $0
DATA_SOURCE 1 count $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &tp->command_lock
TYPE_LOCK (struct typhoon)->command_lock

drivers/net/ethernet/3com/typhoon.c typhoon_inc_resp_index() -> typhoon_inc_index()

Type Parameter Key Value
PARAM_VALUE 0 index 2398490298058526720
PARAM_VALUE 0 *index 1-u32max
PARAM_VALUE 2 num_entries 32
DATA_SOURCE 0 index $0
DATA_SOURCE 1 count $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &tp->command_lock

drivers/net/ethernet/3com/typhoon.c typhoon_inc_rxfree_index() -> typhoon_inc_index()

Type Parameter Key Value
PARAM_VALUE 0 index 4096-ptr_max
PARAM_VALUE 1 count 1
PARAM_VALUE 2 num_entries 128
DATA_SOURCE 0 index $0
DATA_SOURCE 1 count $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/3com/typhoon.c typhoon_inc_tx_index() -> typhoon_inc_index()

Type Parameter Key Value
PARAM_VALUE 0 index 4096-ptr_max
PARAM_VALUE 1 count 1
PARAM_VALUE 2 num_entries 128
DATA_SOURCE 0 index $0
DATA_SOURCE 1 count $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL