Open Menu /

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/char/ipmi/ipmi_msghandler.c smi_work() -> (struct ipmi_user_hndl)->ipmi_recv_hndl()

Type Parameter Key Value
PARAM_VALUE 0 recv_msg 4096-ptr_max
PARAM_VALUE 0 recv_msg->user 4096-ptr_max
PARAM_VALUE 0 recv_msg->user->destroyed.refs.counter s32min-(-1),1-s32max
PARAM_VALUE 0 recv_msg->user->handler 4096-ptr_max
BUF_SIZE 1 handler_data 152,352,952
CAPPED_DATA 0 &recv_msg->link 1
CONTAINER 1 *(-0-24+32) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &intf->user_msgs_mutex
TYPE_LOCK (struct ipmi_smi)->user_msgs_mutex

Smatch assignments to (struct ps2dev)->receive_handler:

drivers/input/keyboard/atkbd.c atkbd_connect() -> (struct ps2dev)->receive_handler [0-u64max]

drivers/input/keyboard/atkbd.c atkbd_disconnect() -> (struct ps2dev)->receive_handler [min-max]

drivers/input/serio/libps2.c ps2_init() -> (struct ps2dev)->receive_handler [0-u64max]

drivers/input/mouse/psmouse-base.c __psmouse_reconnect() -> (struct ps2dev)->receive_handler [min-max]

drivers/input/mouse/psmouse-base.c psmouse_attr_set_protocol() -> (struct ps2dev)->receive_handler [min-max]

drivers/input/mouse/psmouse-base.c psmouse_connect() -> (struct ps2dev)->receive_handler [0-u64max]

drivers/input/mouse/psmouse-base.c psmouse_disconnect() -> (struct ps2dev)->receive_handler [min-max]

drivers/input/mouse/psmouse-base.c psmouse_switch_protocol() -> (struct ps2dev)->receive_handler [min-max]