Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/floppy.c fd_locked_ioctl() -> normalize_ioctl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *cmd | 0-21256,21258-25711,25713-u32max |
| PARAM_VALUE | 1 | size | 3103421939033280512 |
| USER_DATA | 0 | *cmd | 0-768,770-4703,4705-4706,4708,4710-4712,4714-21256,21258-25711, |
| USER_PTR | 0 | cmd | |
| LOCK2 | global &floppy_mutex |