Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-bufio.c __dm_bufio_prefetch() -> __flush_write_list()

Type Parameter Key Value
PARAM_VALUE 0 write_list 3771156538059538432
PARAM_VALUE 0 write_list->next 3771156538059538432
PARAM_VALUE 0 write_list->prev 3771156538059538432
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-bufio.c check_watermarks() -> __flush_write_list()

Type Parameter Key Value
PARAM_VALUE 0 write_list 5785702215345192960
PARAM_VALUE 0 write_list->next 5785702215345192960
PARAM_VALUE 0 write_list->prev 5785702215345192960
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/md/dm-bufio.c dm_bufio_write_dirty_buffers() -> __flush_write_list()

Type Parameter Key Value
PARAM_VALUE 0 write_list 5113431142281957376
PARAM_VALUE 0 write_list->next 5113431142281957376
PARAM_VALUE 0 write_list->prev 5113431142281957376
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-bufio.c dm_bufio_write_dirty_buffers_async() -> __flush_write_list()

Type Parameter Key Value
PARAM_VALUE 0 write_list 1061435267176116224
PARAM_VALUE 0 write_list->next 1061435267176116224
PARAM_VALUE 0 write_list->prev 1061435267176116224
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-bufio.c new_read() -> __flush_write_list()

Type Parameter Key Value
PARAM_VALUE 0 write_list 3554823355911495680
PARAM_VALUE 0 write_list->next 3554823355911495680
PARAM_VALUE 0 write_list->prev 3554823355911495680
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL