Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/panthor/panthor_mmu.c panthor_vm_pool_create_vm() -> panthor_vm_create_check_args()

Type Parameter Key Value
PARAM_VALUE 0 ptdev 4096-ptr_max
PARAM_VALUE 1 args 4096-ptr_max
PARAM_VALUE 2 kernel_va_start 507710585738895360
PARAM_VALUE 3 kernel_va_range 2027796658513227776
BUF_SIZE 1 args 128-16383
BUF_SIZE 1 args 128-16383
DATA_SOURCE 0 ptdev $0
DATA_SOURCE 1 args $2
USER_DATA 1 args->flags 0-u32max[u]
USER_DATA 1 args->id 0-u32max[u]
USER_DATA 1 args->user_va_range 0-u64max[u]
UNITS 0 ptdev unit_byte
USER_PTR 1 args
LOCK2 global &drm_unplug_srcu