Defined in 185 files as a member:

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 802 files:

Smatch caller information:

drivers/xen/xen-scsiback.c scsiback_fast_flush_area() -> vaddr()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 seg 0-65534
CAPPED_DATA 1 seg 1
DATA_SOURCE 0 req $0
PARAM_COMPARE 1 seg < $0->n_grants
RX_PATH
TASK_NOT_RUNNING

drivers/xen/xen-scsiback.c scsiback_gnttab_data_map() -> vaddr()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 seg 0-25
BUF_SIZE 0 req->sgl 0-4096
CAPPED_DATA 0 req->se_cmd.map_tag 1
CAPPED_DATA 0 req->v2p->v.chn 1
CAPPED_DATA 0 req->v2p->v.lun 1
CAPPED_DATA 0 req->v2p->v.tgt 1
CAPPED_DATA 1 seg 1
DATA_SOURCE 0 req $1
MEM_ZERO 0 req->sgl
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 req->n_sg
HALF_LOCKED2 _T->lock

drivers/xen/xen-scsiback.c scsiback_gnttab_data_map() -> vaddr()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 seg 0
BUF_SIZE 0 req->sgl 0-4096
CAPPED_DATA 0 req->se_cmd.map_tag 1
CAPPED_DATA 0 req->v2p->v.chn 1
CAPPED_DATA 0 req->v2p->v.lun 1
CAPPED_DATA 0 req->v2p->v.tgt 1
DATA_SOURCE 0 req $1
MEM_ZERO 0 req->sgl
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 req->n_sg
HALF_LOCKED2 _T->lock

drivers/xen/xen-scsiback.c scsiback_gnttab_data_map() -> vaddr()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 seg 1-s32max
BUF_SIZE 0 req->sgl 0-4096
CAPPED_DATA 0 req->se_cmd.map_tag 1
CAPPED_DATA 0 req->v2p->v.chn 1
CAPPED_DATA 0 req->v2p->v.lun 1
CAPPED_DATA 0 req->v2p->v.tgt 1
DATA_SOURCE 0 req $1
MEM_ZERO 0 req->sgl
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 req->n_sg
HALF_LOCKED2 _T->lock