Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/char/ipmi/ipmi_si_intf.c get_global_enables() -> wait_for_msg_done()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | smi_info | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->device_id.manufacturer_id | 0-16777215 |
| PARAM_VALUE | 0 | smi_info->device_id.product_id | 0-u16max |
| PARAM_VALUE | 0 | smi_info->handlers | 379712806818271232,2810443503978582016,4352604312844619776 |
| 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 | 2628788579061297152,6295757509945769984,8010815930095996928 |
| PARAM_VALUE | 0 | smi_info->handlers->version | 0 |
| PARAM_VALUE | 0 | smi_info->io.addr_data | 1-u64max |
| PARAM_VALUE | 0 | smi_info->io.inputb | 1413781967609184256,2705148525107040256,3710936163923865600,4058584779236139008,5034118091504291840,6408820839726686208,7569512811007090688 |
| PARAM_VALUE | 0 | smi_info->io.io_cleanup | 1494723297745719296,8299991202048851968 |
| PARAM_VALUE | 0 | smi_info->io.io_size | 2-3 |
| PARAM_VALUE | 0 | smi_info->io.outputb | 527857052858183680,2638584654901825536,3716644053295259648,4419112490576080896,4810246160939495424,6975702294118043648,7746335941165993984 |
| PARAM_VALUE | 0 | smi_info->io.regsize | 1-2,4,8 |
| PARAM_VALUE | 0 | smi_info->io.si_info | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->io.si_info->type | 1-3 |
| PARAM_VALUE | 0 | smi_info->oem_data_avail_handler | 7073021842653339648 |
| PARAM_VALUE | 0 | smi_info->si_num | 0-7 |
| PARAM_VALUE | 0 | smi_info->si_sm | 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 | 0 |
| PARAM_VALUE | 0 | smi_info->si_sm->io | s64min-(-4096),4096-s64max |
| 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 | 1 |
| PARAM_VALUE | 0 | smi_info->si_sm->truncated | 0 |
| PARAM_VALUE | 0 | smi_info->si_sm->write_count | 2,4 |
| 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->delays->blkio_delay_max | 0-s64max |
| PARAM_VALUE | 0 | smi_info->thread->delays->blkio_delay_min | 0-s64max |
| PARAM_VALUE | 0 | *smi_info->si_sm->write_data | 0-255 |
| BUF_SIZE | 0 | smi_info->handlers | 64 |
| BUF_SIZE | 0 | smi_info->si_sm | 208,608,624 |
| DATA_SOURCE | 0 | smi_info | $0 |
| BIT_INFO | 0 | smi_info->handlers | 0x400020932009000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | smi_info->io.addr_data | |
| LOCK2 | global &smi_infos_lock |
drivers/char/ipmi/ipmi_si_intf.c set_global_enables() -> wait_for_msg_done()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | smi_info | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->device_id.manufacturer_id | 0-16777215 |
| PARAM_VALUE | 0 | smi_info->device_id.product_id | 0-u16max |
| PARAM_VALUE | 0 | smi_info->handlers | 379712806818271232,2810443503978582016,4352604312844619776 |
| 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 | 2628788579061297152,6295757509945769984,8010815930095996928 |
| PARAM_VALUE | 0 | smi_info->handlers->version | 0 |
| PARAM_VALUE | 0 | smi_info->io.addr_data | 1-u64max |
| PARAM_VALUE | 0 | smi_info->io.inputb | 1413781967609184256,2705148525107040256,3710936163923865600,4058584779236139008,5034118091504291840,6408820839726686208,7569512811007090688 |
| PARAM_VALUE | 0 | smi_info->io.io_cleanup | 1494723297745719296,8299991202048851968 |
| PARAM_VALUE | 0 | smi_info->io.io_size | 2-3 |
| PARAM_VALUE | 0 | smi_info->io.outputb | 527857052858183680,2638584654901825536,3716644053295259648,4419112490576080896,4810246160939495424,6975702294118043648,7746335941165993984 |
| PARAM_VALUE | 0 | smi_info->io.regsize | 1-2,4,8 |
| PARAM_VALUE | 0 | smi_info->io.si_info | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->io.si_info->type | 1-3 |
| PARAM_VALUE | 0 | smi_info->oem_data_avail_handler | 7073021842653339648 |
| PARAM_VALUE | 0 | smi_info->si_num | 0-7 |
| PARAM_VALUE | 0 | smi_info->si_sm | 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 | 0 |
| PARAM_VALUE | 0 | smi_info->si_sm->io | s64min-(-4096),4096-s64max |
| 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 | 1 |
| PARAM_VALUE | 0 | smi_info->si_sm->truncated | 0 |
| PARAM_VALUE | 0 | smi_info->si_sm->write_count | 2,4 |
| 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->delays->blkio_delay_max | 0-s64max |
| PARAM_VALUE | 0 | smi_info->thread->delays->blkio_delay_min | 0-s64max |
| PARAM_VALUE | 0 | *smi_info->si_sm->write_data | 0-255 |
| BUF_SIZE | 0 | smi_info->handlers | 64 |
| BUF_SIZE | 0 | smi_info->si_sm | 208,608,624 |
| DATA_SOURCE | 0 | smi_info | $0 |
| BIT_INFO | 0 | smi_info->handlers | 0x400020932009000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | smi_info->io.addr_data | |
| LOCK2 | global &smi_infos_lock |
drivers/char/ipmi/ipmi_si_intf.c try_enable_event_buffer() -> wait_for_msg_done()
| 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->device_id.manufacturer_id | 0-16777215 |
| PARAM_VALUE | 0 | smi_info->device_id.product_id | 0-u16max |
| PARAM_VALUE | 0 | smi_info->handlers | 379712806818271232,2810443503978582016,4352604312844619776 |
| PARAM_VALUE | 0 | smi_info->interrupt_disabled | 1 |
| PARAM_VALUE | 0 | smi_info->io.addr_data | 1-u32max |
| PARAM_VALUE | 0 | smi_info->io.inputb | 1413781967609184256,3710936163923865600,6408820839726686208 |
| PARAM_VALUE | 0 | smi_info->io.io_cleanup | 1494723297745719296 |
| PARAM_VALUE | 0 | smi_info->io.io_size | 2-3 |
| PARAM_VALUE | 0 | smi_info->io.outputb | 2638584654901825536,4419112490576080896,7746335941165993984 |
| PARAM_VALUE | 0 | smi_info->io.regsize | 1-2,4 |
| PARAM_VALUE | 0 | smi_info->io.si_info | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->io.si_info->type | 1-3 |
| PARAM_VALUE | 0 | smi_info->irq_enable_broken | 1 |
| PARAM_VALUE | 0 | smi_info->need_watch.counter | 0 |
| PARAM_VALUE | 0 | smi_info->oem_data_avail_handler | 7073021842653339648 |
| PARAM_VALUE | 0 | smi_info->req_events.counter | 0 |
| PARAM_VALUE | 0 | smi_info->run_to_completion | 0 |
| PARAM_VALUE | 0 | smi_info->si_num | 0-11 |
| PARAM_VALUE | 0 | smi_info->si_sm | 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 | 0 |
| PARAM_VALUE | 0 | smi_info->si_sm->io | s64min-(-4096),4096-s64max |
| PARAM_VALUE | 0 | smi_info->si_sm->nonzero_status | s32min-s32max |
| PARAM_VALUE | 0 | smi_info->si_sm->orig_write_count | 0,2-272 |
| 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 | 1 |
| PARAM_VALUE | 0 | smi_info->si_sm->truncated | 0 |
| PARAM_VALUE | 0 | smi_info->si_sm->write_count | 2,4 |
| PARAM_VALUE | 0 | smi_info->si_sm->write_pos | s32min-s32max |
| PARAM_VALUE | 0 | smi_info->stats | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->waiting_msg | 0 |
| PARAM_VALUE | 0 | *smi_info->si_sm->write_data | 0-255 |
| BUF_SIZE | 0 | smi_info | (-1),512 |
| BUF_SIZE | 0 | smi_info | (-1),512 |
| BUF_SIZE | 0 | smi_info->handlers | 64 |
| DATA_SOURCE | 0 | smi_info | $0 |
| BIT_INFO | 0 | smi_info->handlers | 0x400020932009000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | smi_info->io.addr_data | |
| NO_OVERFLOW_SIMPLE | 0 | smi_info->si_sm->io->addr_data | |
| LOCK2 | global &smi_infos_lock |
drivers/char/ipmi/ipmi_si_intf.c try_enable_event_buffer() -> wait_for_msg_done()
| 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->device_id.manufacturer_id | 0-16777215 |
| PARAM_VALUE | 0 | smi_info->device_id.product_id | 0-u16max |
| PARAM_VALUE | 0 | smi_info->handlers | 379712806818271232,2810443503978582016,4352604312844619776 |
| PARAM_VALUE | 0 | smi_info->handlers->event | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->interrupt_disabled | 1 |
| PARAM_VALUE | 0 | smi_info->io.addr_data | 1-u32max |
| PARAM_VALUE | 0 | smi_info->io.inputb | 1413781967609184256,3710936163923865600,6408820839726686208 |
| PARAM_VALUE | 0 | smi_info->io.io_cleanup | 1494723297745719296 |
| PARAM_VALUE | 0 | smi_info->io.io_size | 2-3 |
| PARAM_VALUE | 0 | smi_info->io.outputb | 2638584654901825536,4419112490576080896,7746335941165993984 |
| PARAM_VALUE | 0 | smi_info->io.regsize | 1-2,4 |
| PARAM_VALUE | 0 | smi_info->io.si_info | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->io.si_info->type | 1-3 |
| PARAM_VALUE | 0 | smi_info->irq_enable_broken | 1 |
| PARAM_VALUE | 0 | smi_info->need_watch.counter | 0 |
| PARAM_VALUE | 0 | smi_info->oem_data_avail_handler | 7073021842653339648 |
| PARAM_VALUE | 0 | smi_info->req_events.counter | 0 |
| PARAM_VALUE | 0 | smi_info->run_to_completion | 0 |
| PARAM_VALUE | 0 | smi_info->si_num | 0-11 |
| PARAM_VALUE | 0 | smi_info->si_sm | 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 | 0 |
| PARAM_VALUE | 0 | smi_info->si_sm->io | s64min-(-4096),4096-s64max |
| PARAM_VALUE | 0 | smi_info->si_sm->nonzero_status | s32min-s32max |
| PARAM_VALUE | 0 | smi_info->si_sm->orig_write_count | 0,2-272 |
| 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 | 1 |
| PARAM_VALUE | 0 | smi_info->si_sm->truncated | 0 |
| PARAM_VALUE | 0 | smi_info->si_sm->write_count | 2,4 |
| PARAM_VALUE | 0 | smi_info->si_sm->write_pos | s32min-s32max |
| PARAM_VALUE | 0 | smi_info->stats | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->waiting_msg | 0 |
| PARAM_VALUE | 0 | *smi_info->si_sm->write_data | 0-255 |
| BUF_SIZE | 0 | smi_info | (-1),512 |
| BUF_SIZE | 0 | smi_info | (-1),512 |
| BUF_SIZE | 0 | smi_info->handlers | 64 |
| DATA_SOURCE | 0 | smi_info | $0 |
| BIT_INFO | 0 | smi_info->handlers | 0x400020932009000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | smi_info->io.addr_data | |
| NO_OVERFLOW_SIMPLE | 0 | smi_info->si_sm->io->addr_data | |
| LOCK2 | global &smi_infos_lock |
drivers/char/ipmi/ipmi_si_intf.c try_get_dev_id() -> wait_for_msg_done()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | smi_info | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->handlers | 379712806818271232,2810443503978582016,4352604312844619776 |
| PARAM_VALUE | 0 | smi_info->handlers->event | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->io.addr_data | 1-u32max |
| PARAM_VALUE | 0 | smi_info->io.inputb | 1413781967609184256,3710936163923865600,6408820839726686208 |
| PARAM_VALUE | 0 | smi_info->io.io_cleanup | 1494723297745719296 |
| PARAM_VALUE | 0 | smi_info->io.io_size | 2-3 |
| PARAM_VALUE | 0 | smi_info->io.outputb | 2638584654901825536,4419112490576080896,7746335941165993984 |
| PARAM_VALUE | 0 | smi_info->io.regsize | 1-2,4 |
| PARAM_VALUE | 0 | smi_info->io.si_info | 4096-ptr_max |
| PARAM_VALUE | 0 | smi_info->io.si_info->type | 1-3 |
| PARAM_VALUE | 0 | smi_info->si_num | 0-11 |
| PARAM_VALUE | 0 | smi_info->si_sm | 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 | 0 |
| PARAM_VALUE | 0 | smi_info->si_sm->io | s64min-(-4096),4096-s64max |
| PARAM_VALUE | 0 | smi_info->si_sm->nonzero_status | s32min-s32max |
| PARAM_VALUE | 0 | smi_info->si_sm->orig_write_count | 0,2-272 |
| 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 | 1 |
| PARAM_VALUE | 0 | smi_info->si_sm->truncated | 0 |
| PARAM_VALUE | 0 | smi_info->si_sm->write_count | 2,4 |
| PARAM_VALUE | 0 | smi_info->si_sm->write_pos | s32min-s32max |
| BUF_SIZE | 0 | smi_info | (-1),512 |
| BUF_SIZE | 0 | smi_info | (-1),512 |
| BUF_SIZE | 0 | smi_info->handlers | 64 |
| DATA_SOURCE | 0 | smi_info | $0 |
| BIT_INFO | 0 | smi_info->handlers | 0x400020932009000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | smi_info->io.addr_data | |
| NO_OVERFLOW_SIMPLE | 0 | smi_info->si_sm->io->addr_data | |
| LOCK2 | global &smi_infos_lock |