Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/disk-events.c disk_check_events() -> disk_event_uevent()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->ev 4096-ptr_max
PARAM_VALUE 0 disk->event_flags 2-u16max
PARAM_VALUE 0 disk->fops 4096-ptr_max
BIT_INFO 0 disk->event_flags 0x2,0xffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

block/disk-events.c disk_force_media_change() -> disk_event_uevent()

Type Parameter Key Value
PARAM_VALUE 0 disk 1-u64max
PARAM_VALUE 1 events 1
DATA_SOURCE 0 disk $0
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