Open Menu /

Defined in 5 files as a variable:

Defined in 4 files as a struct:

Defined in 130 files as a member:

Defined in 4 files as a macro:

Defined in 4 files as a function:

Defined in 2 files as a enumerator:

Referenced in 549 files:

Smatch caller information:

drivers/video/fbdev/aty/atyfb_base.c atyfb_check_var() -> (struct aty_pll_ops)->var_to_pll()

Type Parameter Key Value
PARAM_VALUE 0 $ 4096-ptr_max
PARAM_VALUE 0 $->fbops 4096-ptr_max
PARAM_VALUE 0 $->par 4096-ptr_max
PARAM_VALUE 1 $ 1-u32max
PARAM_VALUE 3 $ 4504622457899323392
BUF_SIZE 0 $ s32min-(-1),1-s32max
BUF_SIZE 0 $ s32min-(-1),1-s32max
BUF_SIZE 0 $->device (-1),1616
BUF_SIZE 0 $->fbops (-1),168
BUF_SIZE 0 $->par (-1),2560
BUF_SIZE 0 $->pixmap.addr (-1),4096,6400,8192
BUF_SIZE 0 $->pseudo_palette (-1),64
BUF_SIZE 0 $->screen_buffer (-1)-s32max
CAPPED_DATA 0 $ 1
DATA_SOURCE 0 $ $1
DATA_SOURCE 1 $ r atyfb_get_pixclock
STR_LEN 0 $->fix.id (-1),7,9-10,12
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 $->fix.smem_len 0-4293918720[c]
HOST_DATA 0 $->screen_size 0-s32max,18446744071562067968-18446744073708503040[c]
HOST_DATA 0 $->var.blue.msb_right 0-u32max
HOST_DATA 0 $->var.green.msb_right 0-u32max
HOST_DATA 0 $->var.hsync_len 1-256[c]
HOST_DATA 0 $->var.left_margin 0-4094,4294967040-u32max[c]
HOST_DATA 0 $->var.lower_margin 0-4095,4294963201-u32max[c]
HOST_DATA 0 $->var.pixclock 0-64000000[c]
HOST_DATA 0 $->var.red.msb_right 0-u32max
HOST_DATA 0 $->var.right_margin 0-u16max,4294963201-u32max[c]
HOST_DATA 0 $->var.transp.length 0-u32max
HOST_DATA 0 $->var.transp.msb_right 0-u32max
HOST_DATA 0 $->var.transp.offset 0-u32max
HOST_DATA 0 $->var.upper_margin 0-4094,4294967232-u32max[c]
HOST_DATA 0 $->var.vsync_len 1-64[c]
HOST_DATA 0 $->var.xres 0-u32max
HOST_DATA 0 $->var.xres_virtual 0-u32max
HOST_DATA 0 $->var.yres 0-u32max
HOST_DATA 0 $->var.yres_virtual 1-4096[c]
HOST_DATA 1 $ 1-64000000[c]
USER_DATA 1 $ 1-u32max
USER_DATA 2 $ 0-u32max
NO_OVERFLOW_SIMPLE 0 $->fbdefio_state->npagerefs
NO_OVERFLOW_SIMPLE 0 $->fix.mmio_len
NO_OVERFLOW_SIMPLE 0 $->fix.mmio_start
NO_OVERFLOW_SIMPLE 0 $->fix.smem_len
NO_OVERFLOW_SIMPLE 0 $->var.xres
NO_OVERFLOW_SIMPLE 0 $->var.xres_virtual
NO_OVERFLOW_SIMPLE 0 $->var.yres
NO_OVERFLOW_SIMPLE 0 $->var.yres_virtual
HALF_LOCKED2 0 &$->lock

drivers/video/fbdev/aty/atyfb_base.c atyfb_set_par() -> (struct aty_pll_ops)->var_to_pll()

Type Parameter Key Value
PARAM_VALUE 0 $ 4096-ptr_max
PARAM_VALUE 0 $->par 4096-ptr_max
PARAM_VALUE 0 $->var.yres 0-1200
PARAM_VALUE 1 $ 1-u32max
PARAM_VALUE 3 $ 4096-ptr_max
BUF_SIZE 0 $ s32min-(-1),1-s32max
BUF_SIZE 0 $ s32min-(-1),1-s32max
BUF_SIZE 0 $->device (-1),1616
BUF_SIZE 0 $->fbops (-1),168
CAPPED_DATA 0 $ 1
DATA_SOURCE 0 $ $0
DATA_SOURCE 1 $ r atyfb_get_pixclock
CONTAINER 3 -0-840+960 $(-1)
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 $->var.blue.msb_right 0-u32max
HOST_DATA 0 $->var.green.msb_right 0-u32max
HOST_DATA 0 $->var.red.msb_right 0-u32max
HOST_DATA 0 $->var.transp.length 0-u32max
HOST_DATA 0 $->var.transp.msb_right 0-u32max
HOST_DATA 0 $->var.transp.offset 0-u32max
HOST_DATA 0 $->var.xres 8-u32max[c]
HOST_DATA 0 $->var.xres_virtual 8-u32max
HOST_DATA 0 $->var.yres 8-1200[c]
HOST_DATA 3 $->ct.xres 8-u32max[c]
NO_OVERFLOW_SIMPLE 0 $->fbdefio_state->npagerefs
NO_OVERFLOW_SIMPLE 0 $->fix.mmio_start
NO_OVERFLOW_SIMPLE 0 $->var.xres
NO_OVERFLOW_SIMPLE 0 $->var.xres_virtual
NO_OVERFLOW_SIMPLE 0 $->var.yres
NO_OVERFLOW_SIMPLE 0 $->var.yres_virtual
NO_OVERFLOW_SIMPLE 3 $->ct.xres
USER_PTR 0 $->var.reserved
HALF_LOCKED2 &minfo->crtc2.lock
HALF_LOCKED2 global &console_sem
HALF_LOCKED2 0 &$->lock

drivers/video/fbdev/aty/atyfb_base.c atyfb_check_var() -> (struct aty_pll_ops)->pll_to_var()

Type Parameter Key Value
PARAM_VALUE 0 $ 4096-ptr_max
PARAM_VALUE 0 $->fbops 4096-ptr_max
PARAM_VALUE 0 $->par 4096-ptr_max
PARAM_VALUE 0 $->var.accel_flags 0-1
PARAM_VALUE 1 $ 4504622457899323392
BUF_SIZE 0 $ s32min-(-1),1-s32max
BUF_SIZE 0 $ s32min-(-1),1-s32max
BUF_SIZE 0 $->device (-1),1616
BUF_SIZE 0 $->fbops (-1),168
BUF_SIZE 0 $->par (-1),2560
BUF_SIZE 0 $->pixmap.addr (-1),4096,6400,8192
BUF_SIZE 0 $->pseudo_palette (-1),64
BUF_SIZE 0 $->screen_buffer (-1)-s32max
CAPPED_DATA 0 $ 1
DATA_SOURCE 0 $ $1
FUZZY_MAX 0 $->var.accel_flags 1
STR_LEN 0 $->fix.id (-1),7,9-10,12
HARD_MAX 0 $->var.accel_flags 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 $->fix.smem_len 0-4293918720[c]
HOST_DATA 0 $->screen_size 0-s32max,18446744071562067968-18446744073708503040[c]
HOST_DATA 0 $->var.blue.msb_right 0-u32max
HOST_DATA 0 $->var.green.msb_right 0-u32max
HOST_DATA 0 $->var.hsync_len 1-256[c]
HOST_DATA 0 $->var.left_margin 0-4094,4294967040-u32max[c]
HOST_DATA 0 $->var.lower_margin 0-4095,4294963201-u32max[c]
HOST_DATA 0 $->var.pixclock 0-64000000[c]
HOST_DATA 0 $->var.red.msb_right 0-u32max
HOST_DATA 0 $->var.right_margin 0-u16max,4294963201-u32max[c]
HOST_DATA 0 $->var.transp.length 0-u32max
HOST_DATA 0 $->var.transp.msb_right 0-u32max
HOST_DATA 0 $->var.transp.offset 0-u32max
HOST_DATA 0 $->var.upper_margin 0-4094,4294967232-u32max[c]
HOST_DATA 0 $->var.vsync_len 1-64[c]
HOST_DATA 0 $->var.xres 0-u32max
HOST_DATA 0 $->var.xres_virtual 0-u32max
HOST_DATA 0 $->var.yres 0-u32max
HOST_DATA 0 $->var.yres_virtual 1-4096[c]
HOST_DATA 1 $->ics2595.period_in_ps 1-64000000[c]
HOST_DATA 1 $->ics2595.program_bits 6144-6401,6656-6913,7168-7425,7680-7937[c]
USER_DATA 1 $->ics2595.period_in_ps 1-u32max
USER_DATA 1 $->ics2595.program_bits 6144-6401,6656-6913,7168-7425,7680-7937[c]
NO_OVERFLOW_SIMPLE 0 $->fbdefio_state->npagerefs
NO_OVERFLOW_SIMPLE 0 $->fix.mmio_len
NO_OVERFLOW_SIMPLE 0 $->fix.mmio_start
NO_OVERFLOW_SIMPLE 0 $->fix.smem_len
NO_OVERFLOW_SIMPLE 0 $->var.xres
NO_OVERFLOW_SIMPLE 0 $->var.xres_virtual
NO_OVERFLOW_SIMPLE 0 $->var.yres
NO_OVERFLOW_SIMPLE 0 $->var.yres_virtual
HALF_LOCKED2 0 &$->lock

drivers/video/fbdev/aty/atyfb_base.c aty_init() -> (struct aty_pll_ops)->set_pll()

Type Parameter Key Value
PARAM_VALUE 0 $ 4096-ptr_max
PARAM_VALUE 0 $->bl_curve_mutex.dep_map->name 0-255
PARAM_VALUE 0 $->bl_curve_mutex.first_waiter 0
PARAM_VALUE 0 $->bl_curve_mutex.magic 4096-ptr_max
PARAM_VALUE 0 $->bl_curve_mutex.osq.tail.counter 0
PARAM_VALUE 0 $->bl_curve_mutex.owner.counter 0
PARAM_VALUE 0 $->dev->dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 $->dev->dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 $->dev->dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 $->dev->dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 $->dev->dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 $->dev->dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 $->dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 $->device 4096-ptr_max
PARAM_VALUE 0 $->fbcon_rotate_hint (-1)
PARAM_VALUE 0 $->fbops 6594972806474510336
PARAM_VALUE 0 $->fix.accel 6,8-10
PARAM_VALUE 0 $->fix.mmio_len 1024,2048
PARAM_VALUE 0 $->par 4096-ptr_max
PARAM_VALUE 0 $->par->ati_regbase 0
PARAM_VALUE 1 $ 4096-ptr_max
BUF_SIZE 0 $->device 1616
BUF_SIZE 0 $->fbops 168
BUF_SIZE 0 $->pseudo_palette 64
DATA_SOURCE 0 $ $0
FUZZY_MAX 0 $->fix.accel 10
FUZZY_MAX 0 $->fix.mmio_len 2048
CONTAINER 1 -16-840+1488 $(-1)
BIT_INFO 0 $->fix.mmio_len 0x0,0xc00
HARD_MAX 0 $->fix.accel 10
HARD_MAX 0 $->fix.mmio_len 2048
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 $->ct.dsp_config 0-u32max
HOST_DATA 1 $->ct.dsp_on_off 0-u32max
HOST_DATA 1 $->ct.mclk_fb_div 0-255
HOST_DATA 1 $->ct.pll_ext_cntl 0-15
HOST_DATA 1 $->ct.pll_gen_cntl 0-255
HOST_DATA 1 $->ct.pll_ref_div 0-255
HOST_DATA 1 $->ct.pll_vclk_cntl 0-255
HOST_DATA 1 $->ct.vclk_fb_div 0-255
HOST_DATA 1 $->ct.vclk_post_div 0-3

drivers/video/fbdev/aty/atyfb_base.c atyfb_reboot_notify() -> (struct aty_pll_ops)->set_pll()

Type Parameter Key Value
PARAM_VALUE 0 $ 4096-ptr_max
PARAM_VALUE 0 $->lock.dep_map->name 0-255
PARAM_VALUE 0 $->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 $->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 $->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 $->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 $->par 4096-ptr_max
PARAM_VALUE 1 $ 4096-ptr_max
CONTAINER 1 -16-840+1488 $(-1)
NOCHECK_CALL
LOCK2 global &reboot_info->lock
LOCK2 global &reboot_lock
TYPE_LOCK (struct fb_info)->lock

drivers/video/fbdev/aty/atyfb_base.c atyfb_remove() -> (struct aty_pll_ops)->set_pll()

Type Parameter Key Value
PARAM_VALUE 0 $ 4096-ptr_max
PARAM_VALUE 0 $->par 4096-ptr_max
PARAM_VALUE 1 $ 4096-ptr_max
BUF_SIZE 0 $ s32min-(-2),1-s32max
BUF_SIZE 0 $ s32min-(-2),1-s32max
DATA_SOURCE 0 $ $0
CONTAINER 1 -16-840+1488 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/video/fbdev/aty/atyfb_base.c atyfb_set_par() -> (struct aty_pll_ops)->set_pll()

Type Parameter Key Value
PARAM_VALUE 0 $ 4096-ptr_max
PARAM_VALUE 0 $->par 4096-ptr_max
PARAM_VALUE 0 $->var.yres 0-1200
PARAM_VALUE 1 $ 4096-ptr_max
BUF_SIZE 0 $ s32min-(-1),1-s32max
BUF_SIZE 0 $ s32min-(-1),1-s32max
BUF_SIZE 0 $->device (-1),1616
BUF_SIZE 0 $->fbops (-1),168
CAPPED_DATA 0 $ 1
DATA_SOURCE 0 $ $0
CONTAINER 1 -16-840+960 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 $->var.blue.msb_right 0-u32max
HOST_DATA 0 $->var.green.msb_right 0-u32max
HOST_DATA 0 $->var.red.msb_right 0-u32max
HOST_DATA 0 $->var.transp.length 0-u32max
HOST_DATA 0 $->var.transp.msb_right 0-u32max
HOST_DATA 0 $->var.transp.offset 0-u32max
HOST_DATA 0 $->var.xres 8-u32max[c]
HOST_DATA 0 $->var.xres_virtual 8-u32max
HOST_DATA 0 $->var.yres 8-1200[c]
HOST_DATA 1 $->ct.xres 8-u32max[c]
HOST_DATA 1 $->ics2595.period_in_ps 1-64000000[c]
HOST_DATA 1 $->ics2595.program_bits 6144-6401,6656-6913,7168-7425,7680-7937[c]
NO_OVERFLOW_SIMPLE 0 $->fbdefio_state->npagerefs
NO_OVERFLOW_SIMPLE 0 $->fix.mmio_start
NO_OVERFLOW_SIMPLE 0 $->var.xres
NO_OVERFLOW_SIMPLE 0 $->var.xres_virtual
NO_OVERFLOW_SIMPLE 0 $->var.yres
NO_OVERFLOW_SIMPLE 0 $->var.yres_virtual
NO_OVERFLOW_SIMPLE 1 $->ct.xres
USER_PTR 0 $->var.reserved
HALF_LOCKED2 &minfo->crtc2.lock
HALF_LOCKED2 global &console_sem
HALF_LOCKED2 0 &$->lock

drivers/video/fbdev/aty/atyfb_base.c atyfb_set_par() -> (struct aty_dac_ops)->set_dac()

Type Parameter Key Value
PARAM_VALUE 0 $ 4096-ptr_max
PARAM_VALUE 0 $->par 4096-ptr_max
PARAM_VALUE 0 $->var.yres 0-1200
PARAM_VALUE 1 $ 4096-ptr_max
BUF_SIZE 0 $ s32min-(-1),1-s32max
BUF_SIZE 0 $ s32min-(-1),1-s32max
BUF_SIZE 0 $->device (-1),1616
BUF_SIZE 0 $->fbops (-1),168
CAPPED_DATA 0 $ 1
DATA_SOURCE 0 $ $0
CONTAINER 1 -0-832+960 $(-1)
CONTAINER 3 *(-0-832+1072) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 $->var.blue.msb_right 0-u32max
HOST_DATA 0 $->var.green.msb_right 0-u32max
HOST_DATA 0 $->var.red.msb_right 0-u32max
HOST_DATA 0 $->var.transp.length 0-u32max
HOST_DATA 0 $->var.transp.msb_right 0-u32max
HOST_DATA 0 $->var.transp.offset 0-u32max
HOST_DATA 0 $->var.xres 8-u32max[c]
HOST_DATA 0 $->var.xres_virtual 8-u32max
HOST_DATA 0 $->var.yres 8-1200[c]
HOST_DATA 1 $->ct.xres 8-u32max[c]
HOST_DATA 1 $->ics2595.period_in_ps 1-64000000[c]
HOST_DATA 1 $->ics2595.program_bits 6144-6401,6656-6913,7168-7425,7680-7937[c]
NO_OVERFLOW_SIMPLE 0 $->fbdefio_state->npagerefs
NO_OVERFLOW_SIMPLE 0 $->fix.mmio_start
NO_OVERFLOW_SIMPLE 0 $->var.xres
NO_OVERFLOW_SIMPLE 0 $->var.xres_virtual
NO_OVERFLOW_SIMPLE 0 $->var.yres
NO_OVERFLOW_SIMPLE 0 $->var.yres_virtual
NO_OVERFLOW_SIMPLE 1 $->ct.xres
USER_PTR 0 $->var.reserved
HALF_LOCKED2 &minfo->crtc2.lock
HALF_LOCKED2 global &console_sem
HALF_LOCKED2 0 &$->lock