Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/scsi/mpi3mr/mpi3mr_fw.c mpi3mr_watchdog_work() -> mpi3mr_sync_timestamp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mrioc | 4096-ptr_max |
| PARAM_VALUE | 0 | mrioc->facts.ioc_capabilities | 0-2147483646 |
| PARAM_VALUE | 0 | mrioc->fault_during_init | 0 |
| PARAM_VALUE | 0 | mrioc->invalid_io_comp | 0 |
| PARAM_VALUE | 0 | mrioc->pci_err_recovery | 0 |
| PARAM_VALUE | 0 | mrioc->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | mrioc->reset_in_progress | 0 |
| PARAM_VALUE | 0 | mrioc->ts_update_counter | 0 |
| PARAM_VALUE | 0 | mrioc->unrecoverable | 0 |
| CAPPED_DATA | 0 | mrioc->ts_update_interval | 1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |