Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/vfio/pci/nvgrace-gpu/main.c nvgrace_gpu_vfio_pci_register_pfn_range() -> register_pfn_address_space()

Type Parameter Key Value
PARAM_VALUE 0 pfn_space 4096-ptr_max
PARAM_VALUE 0 pfn_space->node.last 0-9007199254740989,u64max
PARAM_VALUE 0 pfn_space->node.start 0-4503599627370495
PARAM_VALUE 0 pfn_space->pfn_to_vma_pgoff 4708549127768899584
LOCK2 &device->dev_set->lock
HALF_LOCKED2 &device->group->group_lock
TYPE_LOCK (struct vfio_device_set)->lock