Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/gnss/sirf.c sirf_remove() -> gnss_deregister_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/net/ethernet/intel/ice/ice_gnss.c ice_gnss_deregister() -> gnss_deregister_device()

Type Parameter Key Value
PARAM_VALUE 0 gdev 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 gdev->cdev.count

drivers/gnss/serial.c gnss_serial_deregister() -> gnss_deregister_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->mutex
TYPE_LOCK (struct device)->mutex

drivers/gnss/usb.c gnss_usb_disconnect() -> gnss_deregister_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wwan/wwan_core.c wwan_port_unregister_gnss() -> gnss_deregister_device()

Type Parameter Key Value
PARAM_VALUE 0 gdev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &wdm_mutex