Defined in 8 files as a member:

Defined in 2 files as a function:

Referenced in 18 files:

Smatch caller information:

drivers/md/dm-vdo/block-map.c complete_with_page() -> is_present()

Type Parameter Key Value
BUF_SIZE 0 info (-1),4,8-s32max
BUF_SIZE 0 info (-1),4,8-s32max
DATA_SOURCE 0 info $0
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/block-map.c is_valid() -> is_present()

Type Parameter Key Value
BUF_SIZE 0 info (-1),4,8-s32max
BUF_SIZE 0 info (-1),4,8-s32max
DATA_SOURCE 0 info $0
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/block-map.c vdo_get_page() -> is_present()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->state 3-5
RX_PATH
TASK_NOT_RUNNING