smi_mod_timer identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/char/ipmi/ipmi_si_intf.c, line 352 (as a function)

Referenced in 1 files:

drivers/char/ipmi/ipmi_si_intf.c

Smatch caller information:

drivers/char/ipmi/ipmi_si_intf.c check_start_timer_thread() -> smi_mod_timer()

Type	Parameter	Key	Value
PARAM_VALUE	0	smi_info	4096-ptr_max
PARAM_VALUE	0	smi_info->curr_msg	0
PARAM_VALUE	0	smi_info->si_state	0
BUF_SIZE	0	smi_info	(-1),984,1000
BUF_SIZE	0	smi_info	(-1),984,1000
BUF_SIZE	0	smi_info->waiting_msg	(-1),600
DATA_SOURCE	0	smi_info	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	smi_info->waiting_msg->data_size	2-283[c]
USER_DATA	0	smi_info->waiting_msg->msgid	s64min-s64max
UNITS	1	new_val	unit_jiffy
LOCK2		flags
LOCK2	0	&smi_info->si_lock
HALF_LOCKED2		&intf->watch_lock
HALF_LOCKED2		iflags
TYPE_LOCK		(struct smi_info)->si_lock

drivers/char/ipmi/ipmi_si_intf.c ipmi_thread() -> smi_mod_timer()

Type	Parameter	Key	Value
PARAM_VALUE	0	smi_info	4096-ptr_max
PARAM_VALUE	0	smi_info->si_sm->error_retries	s32min-4294967295
PARAM_VALUE	0	smi_info->si_sm->nonzero_status	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->orig_write_count	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->read_count	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->read_pos	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->seq	0-255
PARAM_VALUE	0	smi_info->si_sm->state	0-4294967295
PARAM_VALUE	0	smi_info->si_sm->truncated	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->write_count	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->write_pos	s32min-s32max
PARAM_VALUE	0	smi_info->timer_running	0
BUF_SIZE	0	smi_info	128
BUF_SIZE	0	smi_info	128
DATA_SOURCE	0	smi_info	$0
NOCHECK_CALL
UNITS	1	new_val	unit_jiffy
LOCK2		flags
LOCK2	0	&smi_info->si_lock
TYPE_LOCK		(struct smi_info)->si_lock

drivers/char/ipmi/ipmi_si_intf.c smi_event_handler() -> smi_mod_timer()

Type	Parameter	Key	Value
PARAM_VALUE	0	smi_info	4096-ptr_max
PARAM_VALUE	0	smi_info->curr_msg	0
PARAM_VALUE	0	smi_info->handlers	4096-ptr_max
PARAM_VALUE	0	smi_info->handlers->start_transaction	4096-ptr_max
PARAM_VALUE	0	smi_info->si_sm->error_retries	s32min-4294967295
PARAM_VALUE	0	smi_info->si_sm->nonzero_status	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->orig_write_count	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->read_count	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->read_pos	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->seq	0-255
PARAM_VALUE	0	smi_info->si_sm->state	0-4294967295
PARAM_VALUE	0	smi_info->si_sm->truncated	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->write_count	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->write_pos	s32min-s32max
PARAM_VALUE	0	smi_info->si_state	7
PARAM_VALUE	0	smi_info->stats	4096-ptr_max
PARAM_VALUE	0	smi_info->waiting_msg	0
BUF_SIZE	0	smi_info	(-1),128,984,1000
BUF_SIZE	0	smi_info	(-1),128,984,1000
BUF_SIZE	0	smi_info->waiting_msg	(-1)-0,600
DATA_SOURCE	0	smi_info	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	smi_info->curr_msg->msgid	s64min-s64max
USER_DATA	0	smi_info->si_sm->orig_write_count	3-272[c]
USER_DATA	0	smi_info->si_sm->write_count	3-274[c]
USER_DATA	0	smi_info->waiting_msg->msgid	s64min-s64max
UNITS	1	new_val	unit_jiffy
HALF_LOCKED2		flags
HALF_LOCKED2	0	&smi_info->si_lock

drivers/char/ipmi/ipmi_si_intf.c smi_start_processing() -> smi_mod_timer()

Type	Parameter	Key	Value
PARAM_VALUE	0	smi_info	4096-ptr_max
PARAM_VALUE	0	smi_info->intf	4096-ptr_max
PARAM_VALUE	0	smi_info->si_timer.entry.pprev	0
PARAM_VALUE	0	smi_info->si_timer.flags	0-4194302
PARAM_VALUE	0	smi_info->si_timer.lockdep_map->name	0-255
PARAM_VALUE	0	smi_info->timer_can_start	1
BUF_SIZE	0	smi_info	(-1),984,1000
BUF_SIZE	0	smi_info	(-1),984,1000
BUF_SIZE	0	smi_info->intf	7296
DATA_SOURCE	0	smi_info	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	new_val	unit_jiffy
LOCK2		global &ipmi_interfaces_mutex
LOCK2		global &smi_watchers_mutex
HALF_LOCKED2		global &smi_infos_lock
HALF_LOCKED2		global &ssif_infos_mutex

drivers/char/ipmi/ipmi_si_intf.c smi_timeout() -> smi_mod_timer()

Type	Parameter	Key	Value
PARAM_VALUE	0	smi_info	4096-ptr_max
PARAM_VALUE	0	smi_info->handlers->start_transaction	4096-ptr_max
PARAM_VALUE	0	smi_info->si_sm->error_retries	s32min-4294967295
PARAM_VALUE	0	smi_info->si_sm->nonzero_status	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->orig_write_count	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->read_count	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->read_pos	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->seq	0-255
PARAM_VALUE	0	smi_info->si_sm->state	0-4294967295
PARAM_VALUE	0	smi_info->si_sm->truncated	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->write_count	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->write_pos	s32min-s32max
PARAM_VALUE	0	smi_info->stats	4096-ptr_max
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	new_val	unit_jiffy
LOCK2		flags
LOCK2	0	&smi_info->si_lock
TYPE_LOCK		(struct smi_info)->si_lock

drivers/char/ipmi/ipmi_si_intf.c start_new_msg() -> smi_mod_timer()

Type	Parameter	Key	Value
PARAM_VALUE	0	smi_info	4096-ptr_max
PARAM_VALUE	0	smi_info->handlers->cleanup	2300405468821123072,6751016880003792896,7306282195085824000
PARAM_VALUE	0	smi_info->handlers->detect	1289123094361845760,2464164928493686784,3195312100068302848
PARAM_VALUE	0	smi_info->handlers->event	2998251776906350592,4704634382956613632,7749900825750769664
PARAM_VALUE	0	smi_info->handlers->get_result	2100753891058761728,4770432168240402432,5432643650891440128
PARAM_VALUE	0	smi_info->handlers->init_data	485167524320215040,3773157152388431872,5848034734978101248
PARAM_VALUE	0	smi_info->handlers->size	2737183067459969024,6940888402020462592,8479541799943942144
PARAM_VALUE	0	smi_info->handlers->start_transaction	4096-ptr_max
PARAM_VALUE	0	smi_info->handlers->version	0
PARAM_VALUE	0	smi_info->si_sm->BT_CAP_retries	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->complete	0-4294967295
PARAM_VALUE	0	smi_info->si_sm->error_retries	s32min-4294967295
PARAM_VALUE	0	smi_info->si_sm->nonzero_status	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->orig_write_count	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->read_count	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->read_pos	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->seq	0-255
PARAM_VALUE	0	smi_info->si_sm->state	0-4294967295
PARAM_VALUE	0	smi_info->si_sm->truncated	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->write_count	s32min-s32max
PARAM_VALUE	0	smi_info->si_sm->write_pos	s32min-s32max
BUF_SIZE	0	smi_info	(-1),128,208,272,512,608,624,984,1000
BUF_SIZE	0	smi_info	(-1),128,208,272,512,608,624,984,1000
BUF_SIZE	0	smi_info->curr_msg	(-1),600
BUF_SIZE	0	smi_info->handlers	(-1),64
BUF_SIZE	0	smi_info->si_sm	(-1),208,608,624
BUF_SIZE	0	smi_info->waiting_msg	(-1),600
CAPPED_DATA	0	smi_info->si_sm->orig_write_count	1
CAPPED_DATA	0	smi_info->si_sm->write_count	1
DATA_SOURCE	0	smi_info	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	smi_info->curr_msg->msgid	s64min-s64max
USER_DATA	0	smi_info->waiting_msg->data_size	2-283[c]
USER_DATA	0	smi_info->waiting_msg->msgid	s64min-s64max
NO_OVERFLOW_SIMPLE	0	smi_info->io.addr_data
NO_OVERFLOW_SIMPLE	0	smi_info->thread->dl.pi_se->dl_runtime
UNITS	1	new_val	unit_jiffy
HALF_LOCKED2	0	&smi_info->si_lock