Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vfio/pci/nvgrace-gpu/main.c nvgrace_gpu_write() -> nvgrace_gpu_write_mem()

Type Parameter Key Value
PARAM_VALUE 0 nvdev 4096-ptr_max
PARAM_VALUE 0 nvdev->core_device.pdev 4096-ptr_max
PARAM_VALUE 0 nvdev->core_device.pdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 nvdev->core_device.pdev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 nvdev->core_device.pdev->dev.power.request 0-4
PARAM_VALUE 0 nvdev->core_device.pdev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 nvdev->core_device.pdev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 nvdev->core_device.pdev->dev.type 0,4096-ptr_max
PARAM_VALUE 1 count 0-1000000000,2147479552
PARAM_VALUE 2 ppos 4096-ptr_max
PARAM_VALUE 2 *ppos 0-1000000000
BUF_SIZE 2 ppos (-1),8
BUF_SIZE 2 ppos (-1),8
CAPPED_DATA 3 buf 1
DATA_SOURCE 1 count $2
DATA_SOURCE 2 ppos $3
DATA_SOURCE 3 buf $1
FUZZY_MAX 1 count 2147479552
USER_DATA 1 count 0-1000000000
USER_DATA 2 *ppos 0-1000000000
USER_DATA 3 buf 0-u64max[c]
USER_PTR 2 ppos