Defined in 2 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/vdpa/pds/vdpa_dev.c pds_vdpa_unregister_event_handler() -> pdsc_unregister_notify()

Type Parameter Key Value
PARAM_VALUE 0 nb 4096-ptr_max
PARAM_VALUE 0 nb->notifier_call 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &vdpa_dev_lock

drivers/vfio/pci/pds/pci_drv.c pds_vfio_pci_unregister_event_handler() -> pdsc_unregister_notify()

Type Parameter Key Value
PARAM_VALUE 0 nb 4096-ptr_max
PARAM_VALUE 0 nb->notifier_call 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex