Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/zram/zram_drv.c writeback_store() -> scan_slots_for_writeback()

Type Parameter Key Value
PARAM_VALUE 0 zram 4096-ptr_max
PARAM_VALUE 0 zram->backing_dev 1-u64max
PARAM_VALUE 0 zram->disksize 1
PARAM_VALUE 1 mode 1-4
PARAM_VALUE 3 hi 0
PARAM_VALUE 4 ctl 4096-ptr_max
PARAM_VALUE 4 ctl->pp_buckets 4096-ptr_max
BUF_SIZE 0 zram s32min-(-2),1-s32max
BUF_SIZE 0 zram s32min-(-2),1-s32max
BUF_SIZE 4 ctl 1040
CAPPED_DATA 0 zram->wb_batch_size 1
DATA_SOURCE 0 zram r dev_to_zram
DATA_SOURCE 4 ctl r init_pp_ctl
PARAM_COMPARE 2 lo >= $3
PARAM_COMPARE 3 hi <= $2
PARAM_COMPARE 3 hi <= $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 lo 0-u64max
NO_OVERFLOW_SIMPLE 2 lo
UNITS 3 hi unit_page
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/block/zram/zram_drv.c writeback_store() -> scan_slots_for_writeback()

Type Parameter Key Value
PARAM_VALUE 0 zram 4096-ptr_max
PARAM_VALUE 0 zram->backing_dev 1-u64max
PARAM_VALUE 0 zram->disksize 1
PARAM_VALUE 1 mode 1-4
PARAM_VALUE 3 hi 0
PARAM_VALUE 4 ctl 4096-ptr_max
PARAM_VALUE 4 ctl->pp_buckets 4096-ptr_max
BUF_SIZE 0 zram s32min-(-2),1-s32max
BUF_SIZE 0 zram s32min-(-2),1-s32max
BUF_SIZE 4 ctl 1040
CAPPED_DATA 0 zram->wb_batch_size 1
DATA_SOURCE 0 zram r dev_to_zram
DATA_SOURCE 4 ctl r init_pp_ctl
PARAM_COMPARE 2 lo >= $3
PARAM_COMPARE 3 hi <= $2
PARAM_COMPARE 3 hi <= $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 lo 0-u64max
NO_OVERFLOW_SIMPLE 2 lo
UNITS 3 hi unit_page
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/block/zram/zram_drv.c writeback_store() -> scan_slots_for_writeback()

Type Parameter Key Value
PARAM_VALUE 0 zram 4096-ptr_max
PARAM_VALUE 0 zram->backing_dev 1-u64max
PARAM_VALUE 0 zram->disksize 1
PARAM_VALUE 1 mode 0
PARAM_VALUE 3 hi 0
PARAM_VALUE 4 ctl 4096-ptr_max
PARAM_VALUE 4 ctl->pp_buckets 4096-ptr_max
BUF_SIZE 0 zram s32min-(-2),1-s32max
BUF_SIZE 0 zram s32min-(-2),1-s32max
BUF_SIZE 4 ctl 1040
CAPPED_DATA 0 zram->wb_batch_size 1
DATA_SOURCE 0 zram r dev_to_zram
DATA_SOURCE 4 ctl r init_pp_ctl
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 lo 0-u64max
NO_OVERFLOW_SIMPLE 2 lo
UNITS 3 hi unit_page
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/block/zram/zram_drv.c writeback_store() -> scan_slots_for_writeback()

Type Parameter Key Value
PARAM_VALUE 0 zram 4096-ptr_max
PARAM_VALUE 0 zram->backing_dev 1-u64max
PARAM_VALUE 0 zram->disksize 1
PARAM_VALUE 1 mode 0
PARAM_VALUE 3 hi 0
PARAM_VALUE 4 ctl 4096-ptr_max
PARAM_VALUE 4 ctl->pp_buckets 4096-ptr_max
BUF_SIZE 0 zram s32min-(-2),1-s32max
BUF_SIZE 0 zram s32min-(-2),1-s32max
BUF_SIZE 4 ctl 1040
CAPPED_DATA 0 zram->wb_batch_size 1
DATA_SOURCE 0 zram r dev_to_zram
DATA_SOURCE 4 ctl r init_pp_ctl
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 lo 0-u64max
NO_OVERFLOW_SIMPLE 2 lo
UNITS 3 hi unit_page
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex