Documented in 1 files:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/tee/qcomtee/user_obj.c ureq_select() -> size_sub()

Type Parameter Key Value
DATA_SOURCE 0 minuend $1 [m]
RX_PATH
UNITS 0 minuend unit_byte
UNITS 1 subtrahend unit_byte
LOCK2 _T->lock

sound/soc/codecs/sigmadsp.c process_sigma_action() -> size_sub()

Type Parameter Key Value
PARAM_VALUE 0 minuend 3-16777215
PARAM_VALUE 1 subtrahend 2
DATA_SOURCE 0 minuend r sigma_action_len
FUZZY_MAX 0 minuend 3
RX_PATH
TASK_NOT_RUNNING

lib/tests/overflow_kunit.c overflow_size_helpers_test() -> size_sub()

Type Parameter Key Value
PARAM_VALUE 0 minuend 4
PARAM_VALUE 1 subtrahend 3

drivers/infiniband/core/sa_query.c ib_sa_add_one() -> size_sub()

Type Parameter Key Value
PARAM_VALUE 0 minuend 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 subtrahend 0-1
DATA_SOURCE 0 minuend r rdma_end_port
DATA_SOURCE 1 subtrahend r rdma_start_port
RX_PATH
TASK_NOT_RUNNING
LOCK2 &device->client_data_rwsem
LOCK2 global &clients_rwsem
LOCK2 global &devices_rwsem
HALF_LOCKED2 &device->unregistration_lock
TYPE_LOCK (struct ib_device)->client_data_rwsem

drivers/infiniband/core/user_mad.c ib_umad_add_one() -> size_sub()

Type Parameter Key Value
PARAM_VALUE 0 minuend 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 subtrahend 0-1
DATA_SOURCE 0 minuend r rdma_end_port
DATA_SOURCE 1 subtrahend r rdma_start_port
RX_PATH
TASK_NOT_RUNNING
LOCK2 &device->client_data_rwsem
LOCK2 global &clients_rwsem
LOCK2 global &devices_rwsem
HALF_LOCKED2 &device->unregistration_lock
TYPE_LOCK (struct ib_device)->client_data_rwsem

drivers/net/wireless/quantenna/qtnfmac/commands.c qtnf_cmd_band_fill_iftype() -> size_sub()

Type Parameter Key Value
PARAM_VALUE 0 minuend 8-14288
PARAM_VALUE 1 subtrahend 4
DATA_SOURCE 0 minuend r size_add
RX_PATH
TASK_NOT_RUNNING
UNITS 1 subtrahend unit_byte
LOCK2 &mac->bus->bus_lock
TYPE_LOCK (struct qtnf_bus)->bus_lock