Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
samples/vfio-mdev/mbochs.c mbochs_ioctl() -> mbochs_get_device_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev_info | 5867243555557654528 |
| 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 |