Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/char/ipmi/ipmi_si_intf.c disable_si_irq() -> start_check_enables()
| 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->interrupt_disabled | 1 |
| PARAM_VALUE | 0 | smi_info->io.irq | s32min-(-1),1-s32max |
| 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 | 0 | smi_info->thread->delays->blkio_count | 0-4294967295 |
| PARAM_VALUE | 0 | smi_info->thread->sched_task_group->idle | 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->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 |
| 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 enable_si_irq() -> start_check_enables()
| 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->interrupt_disabled | 0 |
| PARAM_VALUE | 0 | smi_info->io.irq | s32min-(-1),1-s32max |
| 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 | 0 | smi_info->si_state | 0-6,8-u32max |
| 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->sched_task_group->idle | 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->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 |
| 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 | flags | ||
| HALF_LOCKED2 | 0 | &smi_info->si_lock |
drivers/char/ipmi/ipmi_si_intf.c smi_event_handler() -> start_check_enables()
| 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->last_was_flag_fetch | 0 |
| PARAM_VALUE | 0 | smi_info->req_events.counter | 0 |
| 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 | 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),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 |
| 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->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 |