Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/vdpa.c vhost_vdpa_fault() -> vhost_vdpa_get_vq_notification()

Type Parameter Key Value
PARAM_VALUE 2 notify 3316257005951926272
BUF_SIZE 0 v s32min-(-2),1-s32max
BUF_SIZE 0 v s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 index
UNITS 1 index unit_page

drivers/vhost/vdpa.c vhost_vdpa_mmap() -> vhost_vdpa_get_vq_notification()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 0 v->vdpa 4096-ptr_max
PARAM_VALUE 2 notify 6605905613468553216
BUF_SIZE 0 v s32min-(-2),1-s32max
BUF_SIZE 0 v s32min-(-2),1-s32max
NOSPEC 1 index
NOSPEC 1 index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 index 0-4503599627370495[c]
NO_OVERFLOW_SIMPLE 1 index
UNITS 1 index unit_page
HALF_LOCKED2 &ipcp->lock