Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/hv/hv_balloon.c balloon_probe() -> unregister_memory_notifier()

Type Parameter Key Value
PARAM_VALUE 0 nb 1418978316046991360
PARAM_VALUE 0 nb->next 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/hv/hv_balloon.c balloon_remove() -> unregister_memory_notifier()

Type Parameter Key Value
PARAM_VALUE 0 nb 1418978316046991360
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &child_device->mutex

drivers/hv/hv_balloon.c balloon_resume() -> unregister_memory_notifier()

Type Parameter Key Value
PARAM_VALUE 0 nb 1418978316046991360
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio_mem.c virtio_mem_deinit_hotplug() -> unregister_memory_notifier()

Type Parameter Key Value
PARAM_VALUE 0 nb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &_d->mutex
TYPE_LOCK (struct device)->mutex

drivers/virtio/virtio_mem.c virtio_mem_init_hotplug() -> unregister_memory_notifier()

Type Parameter Key Value
PARAM_VALUE 0 nb 4096-ptr_max
PARAM_VALUE 0 nb->next 0,4096-ptr_max
PARAM_VALUE 0 nb->notifier_call 3902013258354638848
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/memory-notifier-error-inject.c err_inject_exit() -> unregister_memory_notifier()

Type Parameter Key Value
PARAM_VALUE 0 nb 3226790167614914560
NOCHECK_CALL