Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/iommufd/selftest.c mock_domain_alloc_nested() -> __mock_domain_alloc_nested()

Type Parameter Key Value
PARAM_VALUE 0 user_data 2618518703692980224
PARAM_VALUE 0 user_data->len 1-u32max
DATA_SOURCE 0 user_data $3
USER_DATA 0 user_data->len 1-u32max[u]
USER_DATA 0 user_data->type 0-u32max[u]

drivers/iommu/iommufd/selftest.c mock_viommu_alloc_domain_nested() -> __mock_domain_alloc_nested()

Type Parameter Key Value
PARAM_VALUE 0 user_data 2618518703692980224
PARAM_VALUE 0 user_data->len 1-u32max
DATA_SOURCE 0 user_data $2
USER_DATA 0 user_data->len 1-u32max[u]
USER_DATA 0 user_data->type 0-u32max[u]