Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/xe/xe_vm.c xe_vm_bind_ioctl() -> vm_bind_ioctl_check_args()

Type Parameter Key Value
PARAM_VALUE 0 xe 4096-ptr_max
PARAM_VALUE 1 vm 4096-ptr_max
PARAM_VALUE 2 args 4096-ptr_max
PARAM_VALUE 3 bind_ops 85073393781313536
PARAM_VALUE 3 *bind_ops 0
BUF_SIZE 2 args 128-16383
BUF_SIZE 2 args 128-16383
DATA_SOURCE 0 xe r to_xe_device
DATA_SOURCE 1 vm r xe_vm_lookup
DATA_SOURCE 2 args $1
USER_DATA 2 args->bind.addr 0-u64max[u]
USER_DATA 2 args->bind.cpu_addr_mirror_offset s64min-s64max[u]
USER_DATA 2 args->bind.extensions 0-u64max[u]
USER_DATA 2 args->bind.flags 0-u32max[u]
USER_DATA 2 args->bind.obj 0-u32max[u]
USER_DATA 2 args->bind.obj_offset 0-u64max[u]
USER_DATA 2 args->bind.op 0-u32max[u]
USER_DATA 2 args->bind.pad 0-u16max[u]
USER_DATA 2 args->bind.pad2 0-u32max[u]
USER_DATA 2 args->bind.pat_index 0-u16max[u]
USER_DATA 2 args->bind.prefetch_mem_region_instance 0-u32max[u]
USER_DATA 2 args->bind.range 0-u64max[u]
USER_DATA 2 args->bind.userptr 0-u64max[u]
USER_DATA 2 args->exec_queue_id 0-u32max[u]
USER_DATA 2 args->extensions 0-u64max[u]
USER_DATA 2 args->num_binds 0-u32max[u]
USER_DATA 2 args->num_syncs 0-u32max[u]
USER_DATA 2 args->pad 0-u32max[u]
USER_DATA 2 args->pad2 0-u32max[u]
USER_DATA 2 args->syncs 0-u64max[u]
USER_DATA 2 args->vector_of_binds 0-u64max[u]
USER_DATA 2 args->vm_id 0-u32max[u]
USER_PTR 2 args