Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/iommufd/device.c iommufd_access_change_ioas() -> (struct iommufd_access_ops)->unmap()

Type Parameter Key Value
PARAM_VALUE 1 iova 0
PARAM_VALUE 2 length u64max
BUF_SIZE 0 data (-1),192
BUF_SIZE 0 data (-1),192
CONTAINER 0 *(-8-192+200) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/iommufd/device.c iommufd_access_notify_unmap() -> (struct iommufd_access_ops)->unmap()

Type Parameter Key Value
BUF_SIZE 0 data 192
DATA_SOURCE 1 iova $1
DATA_SOURCE 2 length $2
CONTAINER 0 *(-8-192+200) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL