Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/uverbs_main.c ib_uverbs_write() -> verify_hdr()

Type Parameter Key Value
PARAM_VALUE 0 hdr 5623262600680550400
PARAM_VALUE 0 hdr->command 0-2147483646,2147483648-u32max
PARAM_VALUE 1 ex_hdr 6272766007486083072
PARAM_VALUE 2 count 8-1000000000,2147479552
PARAM_VALUE 3 method_elm 4096-ptr_max
DATA_SOURCE 2 count $2
DATA_SOURCE 3 method_elm r uapi_get_method
FUZZY_MAX 2 count 24
USER_DATA 0 hdr->command 0-2147483646,2147483648-u32max
USER_DATA 0 hdr->in_words 0-u16max
USER_DATA 0 hdr->out_words 0-u16max
USER_DATA 1 ex_hdr->cmd_hdr_reserved 0-u32max
USER_DATA 1 ex_hdr->provider_in_words 0-u16max
USER_DATA 1 ex_hdr->provider_out_words 0-u16max
USER_DATA 1 ex_hdr->response 0-u64max
USER_DATA 2 count 8-1000000000
UNITS 2 count unit_byte