Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/xen-fbfront.c xenfb_probe() -> xenfb_init_shared_page()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->fb 1-u64max
PARAM_VALUE 0 info->gfns 1-u64max
PARAM_VALUE 0 info->irq (-1)
PARAM_VALUE 0 info->nr_pages 0-524288
PARAM_VALUE 0 info->page 18379471554275704832,18446612682070032384
PARAM_VALUE 0 info->x1 s32max
PARAM_VALUE 0 info->xbdev 4096-ptr_max
PARAM_VALUE 0 info->xbdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 info->xbdev->otherend_watch.node 0
PARAM_VALUE 0 info->xbdev->otherend_watch.nr_pending 0
PARAM_VALUE 0 info->xbdev->reclaim_sem.lock.owner (-1)
PARAM_VALUE 0 info->xbdev->reclaim_sem.lock.owner_cpu u32max
PARAM_VALUE 0 info->y1 s32max
PARAM_VALUE 1 fb_info 4096-ptr_max
PARAM_VALUE 1 fb_info->bl_curve_mutex.dep_map->name 0-255
PARAM_VALUE 1 fb_info->bl_curve_mutex.first_waiter 0
PARAM_VALUE 1 fb_info->bl_curve_mutex.magic 4096-ptr_max
PARAM_VALUE 1 fb_info->bl_curve_mutex.owner.counter 0
PARAM_VALUE 1 fb_info->blank 0
PARAM_VALUE 1 fb_info->cmap.blue 0,16,4096-ptr_max
PARAM_VALUE 1 fb_info->cmap.green 0,16,4096-ptr_max
PARAM_VALUE 1 fb_info->cmap.len 0
PARAM_VALUE 1 fb_info->cmap.red 0,16,4096-ptr_max
PARAM_VALUE 1 fb_info->cmap.start 0
PARAM_VALUE 1 fb_info->cmap.transp 0,16,4096-ptr_max
PARAM_VALUE 1 fb_info->device 4096-ptr_max
PARAM_VALUE 1 fb_info->device->driver_data 4096-ptr_max
PARAM_VALUE 1 fb_info->fbcon_rotate_hint (-1)
PARAM_VALUE 1 fb_info->fbdefio 3816676355922137088
PARAM_VALUE 1 fb_info->fbdefio->delay 1-u64max
PARAM_VALUE 1 fb_info->fbops 1775945926195617792
PARAM_VALUE 1 fb_info->fix.accel 0
PARAM_VALUE 1 fb_info->fix.smem_start 0
PARAM_VALUE 1 fb_info->fix.type 0
PARAM_VALUE 1 fb_info->fix.visual 2
PARAM_VALUE 1 fb_info->flags 4
PARAM_VALUE 1 fb_info->par 4096-ptr_max
PARAM_VALUE 1 fb_info->screen_base 1-u64max
PARAM_VALUE 1 fb_info->screen_buffer 1-u64max
PARAM_VALUE 1 fb_info->var.activate 0
PARAM_VALUE 1 fb_info->var.bits_per_pixel 32
PARAM_VALUE 1 fb_info->var.height u32max
PARAM_VALUE 1 fb_info->var.vmode 0
PARAM_VALUE 1 fb_info->var.width u32max
BUF_SIZE 0 info 248
BUF_SIZE 0 info->fb 0-s32max,18446744071562067968-u64max
BUF_SIZE 0 info->gfns 8
BUF_SIZE 1 fb_info s32min-s32max
BUF_SIZE 1 fb_info->device 1616
BUF_SIZE 1 fb_info->fbdefio 32
BUF_SIZE 1 fb_info->fbops 168
BUF_SIZE 1 fb_info->par 248
BUF_SIZE 1 fb_info->pseudo_palette 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 1 fb_info->screen_buffer 0-s32max,18446744071562067968-u64max
DATA_SOURCE 0 info r _kzalloc_noprof
DATA_SOURCE 1 fb_info r framebuffer_alloc
STR_LEN 1 fb_info->fix.id 3
BIT_INFO 1 fb_info->fix.smem_len 0x0,0x7fffffff
BIT_INFO 1 fb_info->var.blue 0x0,0x7fffffff
BIT_INFO 1 fb_info->var.green 0x0,0x7fffffff
BIT_INFO 1 fb_info->var.red 0x0,0x7fffffff
BIT_INFO 1 fb_info->var.xres 0x0,0x7fffffff
BIT_INFO 1 fb_info->var.yres 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->reclaim_sem
TYPE_LOCK (struct xenbus_device)->reclaim_sem

drivers/video/fbdev/xen-fbfront.c xenfb_resume() -> xenfb_init_shared_page()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->irq (-1)
PARAM_VALUE 0 info->update_wanted 0
BUF_SIZE 0 info s32min-(-2),1-s32max
BUF_SIZE 0 info s32min-(-2),1-s32max
CAPPED_DATA 0 info 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 info unit_byte