Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/iommufd/selftest.c iommufd_test() -> iommufd_test_pasid_replace()

Type Parameter Key Value
PARAM_VALUE 0 ucmd 6766925377512910848
PARAM_VALUE 0 ucmd->cmd 8421750914493251584
PARAM_VALUE 0 ucmd->new_obj 0
PARAM_VALUE 0 ucmd->user_size 8-u32max
PARAM_VALUE 1 cmd 8421750914493251584
PARAM_VALUE 1 cmd->op 19
BUF_SIZE 1 cmd 72
DATA_SOURCE 0 ucmd $0
USER_DATA 0 ucmd->user_size 8-u32max[c]
USER_DATA 1 cmd->__reserved 0-u32max[u]
USER_DATA 1 cmd->access_pages.flags 0-u32max[u]
USER_DATA 1 cmd->access_pages.iova 0-u64max[u]
USER_DATA 1 cmd->access_pages.length 0-u64max[u]
USER_DATA 1 cmd->access_pages.out_access_pages_id 0-u32max[u]
USER_DATA 1 cmd->access_pages.uptr 0-u64max[u]
USER_DATA 1 cmd->access_replace_ioas.ioas_id 0-u32max[u]
USER_DATA 1 cmd->access_rw.flags 0-u32max[u]
USER_DATA 1 cmd->access_rw.iova 0-u64max[u]
USER_DATA 1 cmd->access_rw.length 0-u64max[u]
USER_DATA 1 cmd->access_rw.uptr 0-u64max[u]
USER_DATA 1 cmd->add_reserved.length 0-u64max[u]
USER_DATA 1 cmd->add_reserved.start 0-u64max[u]
USER_DATA 1 cmd->check_dev_cache.cache 0-u32max[u]
USER_DATA 1 cmd->check_dev_cache.id 0-u32max[u]
USER_DATA 1 cmd->check_iotlb.id 0-u32max[u]
USER_DATA 1 cmd->check_iotlb.iotlb 0-u32max[u]
USER_DATA 1 cmd->check_map.iova 0-u64max[u]
USER_DATA 1 cmd->check_map.length 0-u64max[u]
USER_DATA 1 cmd->check_map.uptr 0-u64max[u]
USER_DATA 1 cmd->check_refs.length 0-u64max[u]
USER_DATA 1 cmd->check_refs.refs 0-u32max[u]
USER_DATA 1 cmd->check_refs.uptr 0-u64max[u]
USER_DATA 1 cmd->create_access.flags 0-u32max[u]
USER_DATA 1 cmd->create_access.out_access_fd 0-u32max[u]
USER_DATA 1 cmd->destroy_access_pages.access_pages_id 0-u32max[u]
USER_DATA 1 cmd->dirty.flags 0-u32max[u]
USER_DATA 1 cmd->dirty.iova 0-u64max[u]
USER_DATA 1 cmd->dirty.length 0-u64max[u]
USER_DATA 1 cmd->dirty.out_nr_dirty 0-u64max[u]
USER_DATA 1 cmd->dirty.page_size 0-u64max[u]
USER_DATA 1 cmd->dirty.uptr 0-u64max[u]
USER_DATA 1 cmd->dmabuf_get.length 0-u32max[u]
USER_DATA 1 cmd->dmabuf_get.open_flags 0-u32max[u]
USER_DATA 1 cmd->dmabuf_revoke.dmabuf_fd s32min-s32max[u]
USER_DATA 1 cmd->dmabuf_revoke.revoked 0-u32max[u]
USER_DATA 1 cmd->id 0-u32max[u]
USER_DATA 1 cmd->last 0-u32max[u]
USER_DATA 1 cmd->memory_limit.limit 0-u32max[u]
USER_DATA 1 cmd->mock_domain.out_hwpt_id 0-u32max[u]
USER_DATA 1 cmd->mock_domain.out_idev_id 0-u32max[u]
USER_DATA 1 cmd->mock_domain.out_stdev_id 0-u32max[u]
USER_DATA 1 cmd->mock_domain_flags.dev_flags 0-u32max[u]
USER_DATA 1 cmd->mock_domain_flags.out_hwpt_id 0-u32max[u]
USER_DATA 1 cmd->mock_domain_flags.out_idev_id 0-u32max[u]
USER_DATA 1 cmd->mock_domain_flags.out_stdev_id 0-u32max[u]
USER_DATA 1 cmd->mock_domain_replace.pt_id 0-u32max[u]
USER_DATA 1 cmd->op 19[u]
USER_DATA 1 cmd->pasid_attach.pasid 0-u32max[u]
USER_DATA 1 cmd->pasid_attach.pt_id 0-u32max[u]
USER_DATA 1 cmd->pasid_check.hwpt_id 0-u32max[u]
USER_DATA 1 cmd->pasid_check.pasid 0-u32max[u]
USER_DATA 1 cmd->pasid_detach.pasid 0-u32max[u]
USER_DATA 1 cmd->pasid_replace.pasid 0-u32max[u]
USER_DATA 1 cmd->pasid_replace.pt_id 0-u32max[u]
USER_DATA 1 cmd->size 0-u32max[u]
USER_DATA 1 cmd->trigger_iopf.addr 0-u64max[u]
USER_DATA 1 cmd->trigger_iopf.dev_id 0-u32max[u]
USER_DATA 1 cmd->trigger_iopf.grpid 0-u32max[u]
USER_DATA 1 cmd->trigger_iopf.pasid 0-u32max[u]
USER_DATA 1 cmd->trigger_iopf.perm 0-u32max[u]
USER_DATA 1 cmd->trigger_vevent.dev_id 0-u32max[u]
USER_PTR 0 ucmd->cmd
USER_PTR 1 cmd