Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
samples/vfio-mdev/mtty.c mtty_ioctl() -> mtty_get_device_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev_info | 1181792822901174272 |
| USER_DATA | 0 | dev_info->argsz | 16-u32max |
| USER_DATA | 0 | dev_info->cap_offset | 0-u32max |
| USER_DATA | 0 | dev_info->flags | 0-u32max |
| USER_DATA | 0 | dev_info->num_irqs | 0-u32max |
| USER_DATA | 0 | dev_info->num_regions | 0-u32max |
| USER_DATA | 0 | dev_info->pad | 0-u32max |