Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/xen/privcmd.c privcmd_ioctl_irqfd() -> privcmd_irqfd_deassign()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irqfd | 949764595221118976 |
| PARAM_VALUE | 0 | irqfd->flags | 0 |
| USER_DATA | 0 | irqfd->dm_op | 0-u64max |
| USER_DATA | 0 | irqfd->dom | 0-u16max |
| USER_DATA | 0 | irqfd->fd | 0-u32max |
| USER_DATA | 0 | irqfd->flags | 0 |
| USER_DATA | 0 | irqfd->size | 0-u32max |
| USER_PTR | 0 | irqfd->pad |