Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/usb/core/devio.c usb_devio_cleanup() -> usb_unregister_notify()

Type Parameter Key Value
PARAM_VALUE 0 nb 7812946545852805120
NOCHECK_CALL

drivers/usb/mon/mon_main.c mon_exit() -> usb_unregister_notify()

Type Parameter Key Value
PARAM_VALUE 0 nb 2841427732170084352
NOCHECK_CALL

drivers/usb/core/ledtrig-usbport.c usbport_trig_deactivate() -> usb_unregister_notify()

Type Parameter Key Value
PARAM_VALUE 0 nb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &led_cdev->trigger_lock
HALF_LOCKED2 &led_cdev->led_access
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &triggers_list_lock
TYPE_LOCK (struct led_classdev)->trigger_lock