Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 6 files:
- block/bdev.c, line 1338
- block/disk-events.c, line 300
- block/genhd.c, line 645
- drivers/block/ataflop.c, line 1765
- drivers/block/floppy.c, line 3214
- drivers/s390/block/dasd.c, line 3735
Smatch caller information:
block/disk-events.c disk_force_media_change() -> bdev_mark_dead()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | surprise | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &disk->open_mutex | ||
| HALF_LOCKED2 | &lo->lo_mutex | ||
| HALF_LOCKED2 | &nbd->config_lock | ||
| HALF_LOCKED2 | global &floppy_mutex | ||
| HALF_LOCKED2 | global &open_lock |
drivers/block/floppy.c invalidate_drive() -> bdev_mark_dead()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | surprise | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &floppy_mutex |
block/genhd.c blk_report_disk_dead() -> bdev_mark_dead()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bdev | 1-u64max |
| PARAM_VALUE | 0 | bdev->bd_device.kobj.kref.refcount.refs.counter | (-1073741824),0-s32max |
| DATA_SOURCE | 1 | surprise | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex |