Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/microsoft/mana/mana_en.c mana_gd_query_device_cfg() -> gdma_mana_send_request()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
PARAM_VALUE 1 in_buf 5826711078965772288
PARAM_VALUE 2 in_len 88
PARAM_VALUE 3 out_buf 7749830765567934464
PARAM_VALUE 4 out_len 80
BUF_SIZE 0 gc s32min-(-1),1-s32max
BUF_SIZE 0 gc s32min-(-1),1-s32max
BUF_SIZE 1 in_buf 88
BUF_SIZE 3 out_buf 80
DATA_SOURCE 0 gc $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 gc unit_byte
UNITS 2 in_len unit_byte
UNITS 4 out_len unit_byte
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/microsoft/mana/mana_en.c mana_send_request() -> gdma_mana_send_request()

Type Parameter Key Value
PARAM_VALUE 1 in_buf 4096-ptr_max
PARAM_VALUE 2 in_len 0-4000000
PARAM_VALUE 3 out_buf 4096-ptr_max
PARAM_VALUE 4 out_len 32,36,40,48,56,64,256,440
BUF_SIZE 1 in_buf 0-s32max
BUF_SIZE 1 in_buf 0-s32max
BUF_SIZE 3 out_buf 32,36,40,48,56,64,256,440
BUF_SIZE 3 out_buf 32,36,40,48,56,64,256,440
DATA_SOURCE 1 in_buf $1
DATA_SOURCE 2 in_len $2
DATA_SOURCE 3 out_buf $3
DATA_SOURCE 4 out_len $4
HARD_MAX 4 out_len 440
RX_PATH
TASK_NOT_RUNNING
UNITS 0 gc unit_byte
UNITS 2 in_len unit_byte
UNITS 4 out_len unit_byte