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() -> get_compat_ipmi_req_settime()

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