Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/iommufd/selftest.c iommufd_test_md_check_iotlb() -> get_md_pagetable_nested()
| 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 | 2 | mock_nested | 5808966415879614464 |
| DATA_SOURCE | 0 | ucmd | $0 |
| DATA_SOURCE | 1 | mockpt_id | $1 |
| USER_DATA | 0 | ucmd->user_size | 8-u32max[c] |
| USER_DATA | 1 | mockpt_id | 0-u32max[u] |
| USER_PTR | 0 | ucmd->cmd |