Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/ipmi/ipmi_devintf.c compat_ipmi_ioctl() -> handle_send_req()

Type Parameter Key Value
PARAM_VALUE 1 req 6006570741081833472
PARAM_VALUE 1 req->addr 0-u32max
PARAM_VALUE 1 req->msg.data 0-u32max
PARAM_VALUE 1 req->msgid s32min-s32max
USER_DATA 1 req->addr_len 0-u32max
USER_DATA 1 req->msg.cmd 0-255
USER_DATA 1 req->msg.data_len 0-u16max
USER_DATA 1 req->msg.netfn 0-255
USER_DATA 1 req->msgid s32min-s32max

drivers/char/ipmi/ipmi_devintf.c compat_ipmi_ioctl() -> handle_send_req()

Type Parameter Key Value
PARAM_VALUE 1 req 4818344093925613568
PARAM_VALUE 1 req->addr 0-u32max
PARAM_VALUE 1 req->msg.data 0-u32max
PARAM_VALUE 1 req->msgid s32min-s32max
USER_DATA 1 req->addr_len 0-u32max
USER_DATA 1 req->msg.cmd 0-255
USER_DATA 1 req->msg.data_len 0-u16max
USER_DATA 1 req->msg.netfn 0-255
USER_DATA 1 req->msgid s32min-s32max
USER_DATA 2 retries s32min-s32max
USER_DATA 3 retry_time_ms 0-u32max

drivers/char/ipmi/ipmi_devintf.c ipmi_ioctl() -> handle_send_req()

Type Parameter Key Value
PARAM_VALUE 1 req 5745531081547644928
USER_DATA 1 req->addr_len 0-u32max
USER_DATA 1 req->msg.cmd 0-255
USER_DATA 1 req->msg.data_len 0-u16max
USER_DATA 1 req->msg.netfn 0-255
USER_DATA 1 req->msgid s64min-s64max

drivers/char/ipmi/ipmi_devintf.c ipmi_ioctl() -> handle_send_req()

Type Parameter Key Value
PARAM_VALUE 1 req 5745531081547644928
USER_DATA 1 req->addr_len 0-u32max
USER_DATA 1 req->msg.cmd 0-255
USER_DATA 1 req->msg.data_len 0-u16max
USER_DATA 1 req->msg.netfn 0-255
USER_DATA 1 req->msgid s64min-s64max
USER_DATA 2 retries s32min-s32max
USER_DATA 3 retry_time_ms 0-u32max