Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vfio/pci/nvgrace-gpu/main.c nvgrace_gpu_check_device_ready() -> nvgrace_gpu_wait_device_ready_legacy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock

drivers/vfio/pci/nvgrace-gpu/main.c nvgrace_gpu_probe_check_device_ready() -> nvgrace_gpu_wait_device_ready_legacy()

Type Parameter Key Value
PARAM_VALUE 0 io 65536-131071
DATA_SOURCE 0 io r pci_iomap
RX_PATH
TASK_NOT_RUNNING