Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/char/ipmi/ipmi_si_intf.c start_check_enables() -> start_new_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | smi_info | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->handlers | 1-u64max |
| PARAM_VALUE | 0 | smi_info->handlers->start_transaction | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->si_sm->BT_CAP_retries | s32min-s32max |
| 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 | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 2 | size | 2 |
| 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->waiting_msg | (-1),600 |
| BUF_SIZE | 1 | msg | 2 |
| 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 |
| 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->thread->dl.pi_se->dl_runtime | |
| HALF_LOCKED2 | 0 | &smi_info->si_lock |
drivers/char/ipmi/ipmi_si_intf.c start_clear_flags() -> start_new_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | smi_info | 4096-ptr_max |
| 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->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 |
| PARAM_VALUE | 0 | smi_info->stats | 4096-ptr_max |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 2 | size | 3 |
| 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->waiting_msg | (-1),600 |
| BUF_SIZE | 1 | msg | 3 |
| 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->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->si_sm->io->addr_data | |
| HALF_LOCKED2 | global &smi_infos_lock | ||
| HALF_LOCKED2 | 0 | &smi_info->si_lock |
drivers/char/ipmi/ipmi_si_intf.c start_get_flags() -> start_new_msg()
| 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->si_state | 0,7 |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 2 | size | 2 |
| 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->waiting_msg | (-1),600 |
| BUF_SIZE | 1 | msg | 2 |
| DATA_SOURCE | 0 | smi_info | $0 |
| HARD_MAX | 0 | smi_info->si_state | 7 |
| 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 |
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | 0 | &smi_info->si_lock |
drivers/char/ipmi/ipmi_si_intf.c start_getting_events() -> start_new_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | smi_info | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->curr_msg | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->curr_msg->data | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->curr_msg->data_size | 2 |
| PARAM_VALUE | 0 | smi_info->curr_msg->done | 2720790875626950656 |
| PARAM_VALUE | 0 | smi_info->curr_msg->recv_msg | 0 |
| PARAM_VALUE | 0 | smi_info->curr_msg->type | 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 | 0-6,8-u32max |
| PARAM_VALUE | 0 | smi_info->stats | 4096-ptr_max |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 2 | size | 2 |
| 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 | 600 |
| BUF_SIZE | 0 | smi_info->waiting_msg | (-1),600 |
| BUF_SIZE | 1 | msg | 272 |
| CAPPED_DATA | 0 | smi_info->curr_msg | 1 |
| 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 |
| 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 | 2 | size | unit_byte |
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | 0 | &smi_info->si_lock |
drivers/char/ipmi/ipmi_si_intf.c start_getting_msg_queue() -> start_new_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | smi_info | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->curr_msg | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->curr_msg->data | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->curr_msg->data_size | 2 |
| PARAM_VALUE | 0 | smi_info->curr_msg->done | 2720790875626950656 |
| PARAM_VALUE | 0 | smi_info->curr_msg->recv_msg | 0 |
| PARAM_VALUE | 0 | smi_info->curr_msg->type | 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->msg_flags | 1-255 |
| 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 | 1-2,4 |
| PARAM_VALUE | 0 | smi_info->stats | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->thread->delays->blkio_count | 0-4294967295 |
| PARAM_VALUE | 0 | smi_info->thread->delays->blkio_delay_max | 0-s64max |
| PARAM_VALUE | 0 | smi_info->thread->delays->blkio_delay_min | 0-s64max |
| PARAM_VALUE | 0 | smi_info->thread->sched_task_group->idle | s32min-s32max |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 2 | size | 2 |
| 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 | 600 |
| BUF_SIZE | 0 | smi_info->waiting_msg | (-1),600 |
| BUF_SIZE | 1 | msg | 272 |
| CAPPED_DATA | 0 | smi_info->curr_msg | 1 |
| DATA_SOURCE | 0 | smi_info | $0 |
| BIT_INFO | 0 | smi_info->msg_flags | 0x1,0xffffffffffffffff |
| HARD_MAX | 0 | smi_info->si_state | 4 |
| 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 | 2 | size | unit_byte |
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | 0 | &smi_info->si_lock |