Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/power/user.c snapshot_ioctl() -> snapshot_write_finalize()

Type Parameter Key Value
CAPABLE 0 21
LOCK2 global &device_hotplug_lock
LOCK2 global &system_transition_mutex

kernel/power/swap.c load_compressed_image() -> snapshot_write_finalize()

Type Parameter Key Value
PARAM_VALUE 0 handle 550897511021211648
PARAM_VALUE 0 handle->buffer 4096-ptr_max
PARAM_VALUE 0 handle->sync_read 0-1
DATA_SOURCE 0 handle $1
MEM_ZERO 0 handle
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &device_hotplug_lock
LOCK2 global &system_transition_mutex
HALF_LOCKED2 &of->mutex

kernel/power/swap.c load_image() -> snapshot_write_finalize()

Type Parameter Key Value
PARAM_VALUE 0 handle 550897511021211648
PARAM_VALUE 0 handle->buffer 4096-ptr_max
PARAM_VALUE 0 handle->sync_read 0-1
DATA_SOURCE 0 handle $1
MEM_ZERO 0 handle
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &device_hotplug_lock
LOCK2 global &system_transition_mutex
HALF_LOCKED2 &of->mutex