Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/iommufd/eventq.c iommufd_fault_destroy() -> eventq_to_fault()

Type Parameter Key Value
PARAM_VALUE 0 eventq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/iommufd/eventq.c iommufd_fault_fops_read() -> eventq_to_fault()

Type Parameter Key Value
BUF_SIZE 0 eventq s32min-(-2),1-s32max
BUF_SIZE 0 eventq s32min-(-2),1-s32max

drivers/iommu/iommufd/eventq.c iommufd_fault_fops_write() -> eventq_to_fault()

Type Parameter Key Value
BUF_SIZE 0 eventq s32min-(-2),1-s32max
BUF_SIZE 0 eventq s32min-(-2),1-s32max