Defined in 1 files as a prototype:

Defined in 3 files as a member:

Defined in 3 files as a function:

Referenced in 52 files:

Smatch caller information:

kernel/power/swap.c flush_swap_writer() -> write_page()

Type Parameter Key Value
PARAM_VALUE 0 log 18379471554275704832,18446612682070032384
PARAM_VALUE 1 vio 1-u64max
PARAM_VALUE 2 hb 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &device_hotplug_lock
LOCK2 global &system_transition_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &autosleep_lock

kernel/power/swap.c swap_write_page() -> write_page()

Type Parameter Key Value
PARAM_VALUE 0 log 18379471554275704832,18446612682070032384
PARAM_VALUE 1 vio 1-u64max
PARAM_VALUE 2 hb 4526766698703532032,4539563694304731136
PARAM_VALUE 2 hb->error 0
PARAM_VALUE 2 hb->plug.cb_list.next 4096-ptr_max
PARAM_VALUE 2 hb->plug.cb_list.prev 4096-ptr_max
PARAM_VALUE 2 hb->plug.nr_ios 1-32
DATA_SOURCE 2 hb $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &device_hotplug_lock
LOCK2 global &system_transition_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &autosleep_lock

kernel/power/swap.c swap_write_page() -> write_page()

Type Parameter Key Value
PARAM_VALUE 2 hb 0,4526766698703532032,4539563694304731136
PARAM_VALUE 2 hb->error 0
PARAM_VALUE 2 hb->plug.cb_list.next 4096-ptr_max
PARAM_VALUE 2 hb->plug.cb_list.prev 4096-ptr_max
PARAM_VALUE 2 hb->plug.nr_ios 1-32
DATA_SOURCE 0 log $1
DATA_SOURCE 1 vio r alloc_swapdev_block
DATA_SOURCE 2 hb $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &device_hotplug_lock
LOCK2 global &system_transition_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &autosleep_lock

drivers/md/dm-vdo/block-map.c finish_page_write() -> write_page()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 0 log->writing 0
PARAM_VALUE 1 vio 4096-ptr_max
PARAM_VALUE 1 vio->context 4096-ptr_max
BUF_SIZE 0 log (-1),8-s32max
BUF_SIZE 0 log (-1),8-s32max
CAPPED_DATA 0 log 1
PARAM_COMPARE 0 log->generation != $0->writing_generation
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c finish_page_write() -> write_page()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 1 vio 4096-ptr_max
PARAM_VALUE 1 vio->context 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c write_page_callback() -> write_page()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
BUF_SIZE 1 vio (-1),4,8-s32max
DATA_SOURCE 1 vio $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mtd/tests/nandbiterrs.c incremental_errors_test() -> write_page()

Type Parameter Key Value
PARAM_VALUE 0 log 1

drivers/mtd/tests/nandbiterrs.c overwrite_test() -> write_page()

Type Parameter Key Value
PARAM_VALUE 0 log 1

drivers/mtd/tests/nandbiterrs.c overwrite_test() -> write_page()

Type Parameter Key Value
PARAM_VALUE 0 log 0