Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/iommufd/selftest.c iommufd_test() -> iommufd_test_dev_check_cache()
| 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 |
| DATA_SOURCE | 0 | ucmd | $0 |
| USER_DATA | 0 | ucmd->user_size | 8-u32max[c] |
| USER_DATA | 1 | idev_id | 0-u32max[u] |
| USER_DATA | 2 | cache_id | 0-u32max[u] |
| USER_DATA | 3 | cache | 0-u32max[u] |
| USER_PTR | 0 | ucmd->cmd |