write_smic_control identifier - Linux source code next-20260811 - Bootlin Elixir Cross Referencer

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/char/ipmi/ipmi_smic_sm.c, line 203 (as a function)

Referenced in 1 files:

drivers/char/ipmi/ipmi_smic_sm.c

Smatch caller information:

drivers/char/ipmi/ipmi_smic_sm.c smic_event() -> write_smic_control()

Type	Parameter	Key	Value
PARAM_VALUE	0	smic	4096-ptr_max
PARAM_VALUE	0	smic->BT_CAP_retries	s32min-s32max
PARAM_VALUE	0	smic->complete	0-4294967295
PARAM_VALUE	0	smic->io	4096-ptr_max
PARAM_VALUE	0	smic->io->inputb	4096-ptr_max
PARAM_VALUE	0	smic->nonzero_status	s32min-s32max
PARAM_VALUE	0	smic->read_count	s32min-s32max
PARAM_VALUE	0	smic->seq	0-255
PARAM_VALUE	0	smic->state	1
PARAM_VALUE	1	control	64
BUF_SIZE	0	smic	(-1),208,608,624
BUF_SIZE	0	smic	(-1),208,608,624
DATA_SOURCE	0	smic	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	smic->orig_write_count	3-272[c]
USER_DATA	0	smic->write_count	3-274[c]
HALF_LOCKED2		global &smi_infos_lock

drivers/char/ipmi/ipmi_smic_sm.c smic_event() -> write_smic_control()

Type	Parameter	Key	Value
PARAM_VALUE	0	smic	4096-ptr_max
PARAM_VALUE	0	smic->BT_CAP_retries	s32min-s32max
PARAM_VALUE	0	smic->complete	0-4294967295
PARAM_VALUE	0	smic->io	4096-ptr_max
PARAM_VALUE	0	smic->io->inputb	4096-ptr_max
PARAM_VALUE	0	smic->nonzero_status	s32min-s32max
PARAM_VALUE	0	smic->read_count	s32min-s32max
PARAM_VALUE	0	smic->seq	0-255
PARAM_VALUE	0	smic->state	2
PARAM_VALUE	1	control	65
DATA_SOURCE	0	smic	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	smic->orig_write_count	3-272[c]
USER_DATA	0	smic->write_count	3-274[c]
HALF_LOCKED2		&smi_info->si_lock
HALF_LOCKED2		flags

drivers/char/ipmi/ipmi_smic_sm.c smic_event() -> write_smic_control()

Type	Parameter	Key	Value
PARAM_VALUE	0	smic	4096-ptr_max
PARAM_VALUE	0	smic->BT_CAP_retries	s32min-s32max
PARAM_VALUE	0	smic->complete	0-4294967295
PARAM_VALUE	0	smic->io	4096-ptr_max
PARAM_VALUE	0	smic->io->inputb	4096-ptr_max
PARAM_VALUE	0	smic->nonzero_status	s32min-s32max
PARAM_VALUE	0	smic->read_count	s32min-s32max
PARAM_VALUE	0	smic->seq	0-255
PARAM_VALUE	0	smic->state	3
PARAM_VALUE	0	smic->write_count	1
PARAM_VALUE	1	control	67
DATA_SOURCE	0	smic	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	smic->orig_write_count	3-272[c]
HALF_LOCKED2		&smi_info->si_lock
HALF_LOCKED2		flags

drivers/char/ipmi/ipmi_smic_sm.c smic_event() -> write_smic_control()

Type	Parameter	Key	Value
PARAM_VALUE	0	smic	4096-ptr_max
PARAM_VALUE	0	smic->BT_CAP_retries	s32min-s32max
PARAM_VALUE	0	smic->complete	0-4294967295
PARAM_VALUE	0	smic->io	4096-ptr_max
PARAM_VALUE	0	smic->io->inputb	4096-ptr_max
PARAM_VALUE	0	smic->nonzero_status	s32min-s32max
PARAM_VALUE	0	smic->read_count	s32min-s32max
PARAM_VALUE	0	smic->seq	0-255
PARAM_VALUE	0	smic->state	3
PARAM_VALUE	0	smic->write_count	s32min-0,2-s32max
PARAM_VALUE	1	control	66
DATA_SOURCE	0	smic	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	smic->orig_write_count	3-272[c]
USER_DATA	0	smic->write_count	3-274[c]
HALF_LOCKED2		&smi_info->si_lock
HALF_LOCKED2		flags

drivers/char/ipmi/ipmi_smic_sm.c smic_event() -> write_smic_control()

Type	Parameter	Key	Value
PARAM_VALUE	0	smic	4096-ptr_max
PARAM_VALUE	0	smic->BT_CAP_retries	s32min-s32max
PARAM_VALUE	0	smic->complete	0-4294967295
PARAM_VALUE	0	smic->io	4096-ptr_max
PARAM_VALUE	0	smic->io->inputb	4096-ptr_max
PARAM_VALUE	0	smic->nonzero_status	s32min-s32max
PARAM_VALUE	0	smic->read_count	s32min-s32max
PARAM_VALUE	0	smic->seq	0-255
PARAM_VALUE	0	smic->state	4
PARAM_VALUE	0	smic->write_count	1
PARAM_VALUE	1	control	67
DATA_SOURCE	0	smic	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	smic->orig_write_count	3-272[c]
HALF_LOCKED2		&smi_info->si_lock
HALF_LOCKED2		flags

drivers/char/ipmi/ipmi_smic_sm.c smic_event() -> write_smic_control()

Type	Parameter	Key	Value
PARAM_VALUE	0	smic	4096-ptr_max
PARAM_VALUE	0	smic->BT_CAP_retries	s32min-s32max
PARAM_VALUE	0	smic->complete	0-4294967295
PARAM_VALUE	0	smic->io	4096-ptr_max
PARAM_VALUE	0	smic->io->inputb	4096-ptr_max
PARAM_VALUE	0	smic->nonzero_status	s32min-s32max
PARAM_VALUE	0	smic->read_count	s32min-s32max
PARAM_VALUE	0	smic->seq	0-255
PARAM_VALUE	0	smic->state	4
PARAM_VALUE	0	smic->write_count	s32min-0,2-s32max
PARAM_VALUE	1	control	66
DATA_SOURCE	0	smic	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	smic->orig_write_count	3-272[c]
USER_DATA	0	smic->write_count	3-274[c]
HALF_LOCKED2		&smi_info->si_lock
HALF_LOCKED2		flags

drivers/char/ipmi/ipmi_smic_sm.c smic_event() -> write_smic_control()

Type	Parameter	Key	Value
PARAM_VALUE	0	smic	4096-ptr_max
PARAM_VALUE	0	smic->BT_CAP_retries	s32min-s32max
PARAM_VALUE	0	smic->complete	0-4294967295
PARAM_VALUE	0	smic->io	4096-ptr_max
PARAM_VALUE	0	smic->io->inputb	4096-ptr_max
PARAM_VALUE	0	smic->nonzero_status	s32min-s32max
PARAM_VALUE	0	smic->read_count	s32min-s32max
PARAM_VALUE	0	smic->seq	0-255
PARAM_VALUE	0	smic->state	6
PARAM_VALUE	1	control	68
DATA_SOURCE	0	smic	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	smic->orig_write_count	3-272[c]
USER_DATA	0	smic->write_count	3-274[c]
HALF_LOCKED2		&smi_info->si_lock
HALF_LOCKED2		flags

drivers/char/ipmi/ipmi_smic_sm.c smic_event() -> write_smic_control()

Type	Parameter	Key	Value
PARAM_VALUE	0	smic	4096-ptr_max
PARAM_VALUE	0	smic->BT_CAP_retries	s32min-s32max
PARAM_VALUE	0	smic->complete	0-4294967295
PARAM_VALUE	0	smic->io	4096-ptr_max
PARAM_VALUE	0	smic->io->inputb	4096-ptr_max
PARAM_VALUE	0	smic->nonzero_status	s32min-s32max
PARAM_VALUE	0	smic->read_count	s32min-s32max
PARAM_VALUE	0	smic->seq	0-255
PARAM_VALUE	0	smic->state	7
PARAM_VALUE	0	*smic->read_data	0-255
PARAM_VALUE	1	control	69
DATA_SOURCE	0	smic	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	smic->orig_write_count	3-272[c]
USER_DATA	0	smic->write_count	3-274[c]
HALF_LOCKED2		&smi_info->si_lock
HALF_LOCKED2		flags

drivers/char/ipmi/ipmi_smic_sm.c smic_event() -> write_smic_control()

Type	Parameter	Key	Value
PARAM_VALUE	0	smic	4096-ptr_max
PARAM_VALUE	0	smic->BT_CAP_retries	s32min-s32max
PARAM_VALUE	0	smic->complete	0-4294967295
PARAM_VALUE	0	smic->io	4096-ptr_max
PARAM_VALUE	0	smic->io->inputb	4096-ptr_max
PARAM_VALUE	0	smic->nonzero_status	s32min-s32max
PARAM_VALUE	0	smic->read_count	s32min-s32max
PARAM_VALUE	0	smic->seq	0-255
PARAM_VALUE	0	smic->state	8
PARAM_VALUE	0	*smic->read_data	0-255
PARAM_VALUE	1	control	70
DATA_SOURCE	0	smic	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	smic->orig_write_count	3-272[c]
USER_DATA	0	smic->write_count	3-274[c]
HALF_LOCKED2		&smi_info->si_lock
HALF_LOCKED2		flags

drivers/char/ipmi/ipmi_smic_sm.c smic_event() -> write_smic_control()

Type	Parameter	Key	Value
PARAM_VALUE	0	smic	4096-ptr_max
PARAM_VALUE	0	smic->BT_CAP_retries	s32min-s32max
PARAM_VALUE	0	smic->complete	0-4294967295
PARAM_VALUE	0	smic->io	4096-ptr_max
PARAM_VALUE	0	smic->io->inputb	4096-ptr_max
PARAM_VALUE	0	smic->nonzero_status	s32min-s32max
PARAM_VALUE	0	smic->read_count	s32min-s32max
PARAM_VALUE	0	smic->seq	0-255
PARAM_VALUE	0	smic->state	8
PARAM_VALUE	0	*smic->read_data	0-255
PARAM_VALUE	1	control	69
DATA_SOURCE	0	smic	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	smic->orig_write_count	3-272[c]
USER_DATA	0	smic->write_count	3-274[c]
HALF_LOCKED2		&smi_info->si_lock
HALF_LOCKED2		flags