Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/xen-fbfront.c xenfb_do_resize() -> xenfb_send_event()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->page 4096-ptr_max
PARAM_VALUE 0 info->resize_dpy 0
PARAM_VALUE 1 event 3092034805394251776
BUF_SIZE 0 info (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560
BUF_SIZE 0 info (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560
DATA_SOURCE 0 info $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 info unit_byte
LOCK2 flags
LOCK2 0 &info->resize_lock
HALF_LOCKED2 &fbdefio_state->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct xenfb_info)->resize_lock

drivers/video/fbdev/xen-fbfront.c xenfb_do_update() -> xenfb_send_event()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->dirty_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 info->page 4096-ptr_max
PARAM_VALUE 0 info->resize_dpy 0
PARAM_VALUE 0 info->resize_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 info->update_wanted s32min-(-1),1-s32max
PARAM_VALUE 0 info->x1 s32max
PARAM_VALUE 0 info->x2 0
PARAM_VALUE 0 info->y1 s32max
PARAM_VALUE 0 info->y2 0
PARAM_VALUE 1 event 6172274692472291328
PARAM_VALUE 1 event->type 2
BUF_SIZE 0 info (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560
BUF_SIZE 0 info (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560
DATA_SOURCE 0 info $0
NOSPEC 1 event->update.y
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 event->update.x 0-s32max[c]
USER_DATA 1 event->update.y 1-s32max[c]
UNITS 0 info unit_byte
HALF_LOCKED2 &fbdefio_state->lock