Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
block/disk-events.c disk_check_media_change() -> disk_clear_events()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | disk | 4096-ptr_max |
| PARAM_VALUE | 0 | disk->fops->open | 0,4096-ptr_max |
| PARAM_VALUE | 0 | disk->fops->pr_ops->pr_read_reservation | 1421210042509553664,1710587714100891648,2566992871418122240 |
| PARAM_VALUE | 1 | mask | 3 |
| CAPPED_DATA | 0 | disk | 1 |
| DATA_SOURCE | 0 | disk | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &disk->open_mutex | ||
| HALF_LOCKED2 | global &floppy_mutex | ||
| HALF_LOCKED2 | global &open_lock |