Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/char/ipmi/ipmi_si_intf.c handle_flags() -> alloc_msg_handle_irq()
| 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->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 | 0 | smi_info->thread->sched_task_group->shares | 0-s64max |
| 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 |
| DATA_SOURCE | 0 | smi_info | $0 |
| BIT_INFO | 0 | smi_info->msg_flags | 0x1,0xf7 |
| HARD_MAX | 0 | smi_info->si_state | 4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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 handle_flags() -> alloc_msg_handle_irq()
| 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->msg_flags | 2-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 | 0 | smi_info->thread->sched_task_group->shares | 0-s64max |
| 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 |
| DATA_SOURCE | 0 | smi_info | $0 |
| BIT_INFO | 0 | smi_info->msg_flags | 0x2,0xf6 |
| HARD_MAX | 0 | smi_info->si_state | 4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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 smi_event_handler() -> alloc_msg_handle_irq()
| 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->io.irq | 0 |
| 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->supports_event_msg_buff | 0 |
| 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 | |||
| 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 |