Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 6 files:

Smatch caller information:

kernel/power/autosleep.c pm_autosleep_init() -> wakeup_source_unregister()

Type Parameter Key Value
PARAM_VALUE 0 ws 4096-ptr_max
PARAM_VALUE 0 ws->active 0
PARAM_VALUE 0 ws->entry.next 4096-ptr_max
PARAM_VALUE 0 ws->entry.prev 7526613115932463104
PARAM_VALUE 0 ws->entry.prev->prev 7526613115932463104
PARAM_VALUE 0 ws->id 0-s32max
PARAM_VALUE 0 ws->name 4096-ptr_max
PARAM_VALUE 0 ws->timer.entry.pprev 0
PARAM_VALUE 0 ws->timer.flags 0-4194302
PARAM_VALUE 0 ws->timer.lockdep_map->name 0-255
BUF_SIZE 0 ws 304
DATA_SOURCE 0 ws r wakeup_source_register
NOCHECK_CALL

drivers/acpi/device_pm.c acpi_remove_pm_notifier() -> wakeup_source_unregister()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &acpi_pm_notifier_install_lock
LOCK2 global &acpi_pm_notifier_lock
HALF_LOCKED2 global &pci_rescan_remove_lock

kernel/power/wakelock.c __wakelocks_gc() -> wakeup_source_unregister()

Type Parameter Key Value
PARAM_VALUE 0 ws 4096-ptr_max
PARAM_VALUE 0 ws->active 0
PARAM_VALUE 0 ws->lock.rlock.dep_map->name 0-255
NOCHECK_CALL
LOCK2 global &wakelocks_lock
HALF_LOCKED2 &pool->lock

drivers/base/power/wakeup.c device_wakeup_disable() -> wakeup_source_unregister()

Type Parameter Key Value
NOCHECK_CALL

drivers/base/power/wakeup.c device_wakeup_enable() -> wakeup_source_unregister()

Type Parameter Key Value
PARAM_VALUE 0 ws 4096-ptr_max
PARAM_VALUE 0 ws->active 0
PARAM_VALUE 0 ws->entry.next 4096-ptr_max
PARAM_VALUE 0 ws->entry.prev 7526613115932463104
PARAM_VALUE 0 ws->entry.prev->prev 7526613115932463104
PARAM_VALUE 0 ws->id 0-s32max
PARAM_VALUE 0 ws->name 4096-ptr_max
PARAM_VALUE 0 ws->timer.entry.pprev 0
PARAM_VALUE 0 ws->timer.flags 0-4194302
PARAM_VALUE 0 ws->timer.lockdep_map->name 0-255
BUF_SIZE 0 ws 304
DATA_SOURCE 0 ws r wakeup_source_register
NOCHECK_CALL

fs/eventpoll.c ep_destroy_wakeup_source() -> wakeup_source_unregister()

Type Parameter Key Value
PARAM_VALUE 0 ws 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/eventpoll.c ep_free() -> wakeup_source_unregister()

Type Parameter Key Value
PARAM_VALUE 0 ws->dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 ws->dev->power.wakeirq->status 0-4294967295
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/eventpoll.c ep_remove_epi() -> wakeup_source_unregister()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ep->mtx

drivers/mmc/core/host.c mmc_host_classdev_release() -> wakeup_source_unregister()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL