Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-switch.c switch_region_table_read() -> switch_get_position()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sctx | 4096-ptr_max |
| PARAM_VALUE | 2 | region_index | 3972888215337488384 |
| PARAM_VALUE | 3 | bit | 6748819251657003008 |
| BUF_SIZE | 0 | sctx | 16,40-s32max |
| BUF_SIZE | 0 | sctx | 16,40-s32max |
| DATA_SOURCE | 0 | sctx | $0 |
| DATA_SOURCE | 1 | region_nr | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | region_nr | unit_byte |
| LOCK2 | &md->io_barrier | ||
| HALF_LOCKED2 | &message_mutex | ||
| TYPE_LOCK | (struct mapped_device)->io_barrier |
drivers/md/dm-switch.c switch_region_table_write() -> switch_get_position()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sctx | 4096-ptr_max |
| PARAM_VALUE | 2 | region_index | 8178584861185908736 |
| PARAM_VALUE | 3 | bit | 7944087264117915648 |
| BUF_SIZE | 0 | sctx | 16,40-s32max |
| BUF_SIZE | 0 | sctx | 16,40-s32max |
| DATA_SOURCE | 0 | sctx | $0 |
| DATA_SOURCE | 1 | region_nr | $1 |
| STR_LEN | 0 | sctx->ti->error | (-1),13 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sctx->ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | sctx->ti->len | |
| NO_OVERFLOW_SIMPLE | 1 | region_nr | |
| UNITS | 1 | region_nr | unit_byte |
| HALF_LOCKED2 | &md->io_barrier | ||
| HALF_LOCKED2 | &message_mutex |