Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/microsoft/mana/gdma_main.c mana_gd_post_work_request() -> mana_gd_write_client_oob()

Type Parameter Key Value
PARAM_VALUE 0 wqe_req 4096-ptr_max
PARAM_VALUE 0 wqe_req->client_data_unit 0-u16max,u32max
PARAM_VALUE 0 wqe_req->flags 0-1,3
PARAM_VALUE 0 wqe_req->inline_oob_size 0,8,24
PARAM_VALUE 0 wqe_req->num_sge 1-u32max
PARAM_VALUE 2 client_oob_size 8,24
DATA_SOURCE 0 wqe_req $1
DATA_SOURCE 4 wqe_ptr r mana_gd_get_wqe_ptr
FUZZY_MAX 2 client_oob_size 8
BIT_INFO 2 client_oob_size 0x8,0x18
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 wqe_req->num_sge
UNITS 2 client_oob_size unit_byte
UNITS 3 sgl_data_size unit_byte