Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/xen/privcmd.c privcmd_ioctl_ioeventfd() -> privcmd_ioeventfd_assign()

Type Parameter Key Value
PARAM_VALUE 0 ioeventfd 1605177043981901824
PARAM_VALUE 0 ioeventfd->flags 0
USER_DATA 0 ioeventfd->addr 0-u64max
USER_DATA 0 ioeventfd->addr_len 0-u32max
USER_DATA 0 ioeventfd->dom 0-u16max
USER_DATA 0 ioeventfd->event_fd 0-u32max
USER_DATA 0 ioeventfd->flags 0
USER_DATA 0 ioeventfd->ioreq 0-u64max
USER_DATA 0 ioeventfd->ports 0-u64max
USER_DATA 0 ioeventfd->vcpus 0-u32max
USER_DATA 0 ioeventfd->vq 0-u32max
USER_PTR 0 ioeventfd->pad