Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/sm712fb.c smtcfb_pci_probe() -> smtc_unmap_smem()

Type Parameter Key Value
PARAM_VALUE 0 sfb 4096-ptr_max
PARAM_VALUE 0 sfb->chip_id 1808,1810,1824
PARAM_VALUE 0 sfb->chip_rev_id 0
PARAM_VALUE 0 sfb->fb 4096-ptr_max
PARAM_VALUE 0 sfb->fb->bl_curve_mutex.first_waiter 0
PARAM_VALUE 0 sfb->fb->bl_curve_mutex.magic 4096-ptr_max
PARAM_VALUE 0 sfb->fb->bl_curve_mutex.owner.counter 0
PARAM_VALUE 0 sfb->fb->blank 0
PARAM_VALUE 0 sfb->fb->device 4096-ptr_max
PARAM_VALUE 0 sfb->fb->fbcon_rotate_hint (-1)
PARAM_VALUE 0 sfb->fb->fix.mmio_len 2097152,4194304
PARAM_VALUE 0 sfb->fb->fix.smem_len 4194304,8388608,16777216
PARAM_VALUE 0 sfb->fb->par 4096-ptr_max
PARAM_VALUE 0 sfb->fb->var.bits_per_pixel 0-14,16-u16max
PARAM_VALUE 0 sfb->fb->var.xres 1-u16max
PARAM_VALUE 0 sfb->fb->var.xres_virtual 1-u16max
PARAM_VALUE 0 sfb->fb->var.yres 0-u16max
PARAM_VALUE 0 sfb->fb->var.yres_virtual 0-u16max
PARAM_VALUE 0 sfb->pdev 4096-ptr_max
PARAM_VALUE 0 sfb->pdev->bus 4096-ptr_max
PARAM_VALUE 0 sfb->pdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 sfb->pdev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 sfb->pdev->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 sfb->pdev->driver 4096-ptr_max
BUF_SIZE 0 sfb 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 sfb 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 sfb->fb s32min-s32max
BUF_SIZE 0 sfb->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
FUZZY_MAX 0 sfb->fb->fix.mmio_len 4194304
FUZZY_MAX 0 sfb->fb->var.bits_per_pixel 16
BIT_INFO 0 sfb->fb->fix.mmio_len 0x0,0x600000
HARD_MAX 0 sfb->fb->fix.mmio_len 4194304
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 sfb->chip_rev_id 0
HOST_DATA 0 sfb->pdev->current_state 0-3[c]
UNITS 0 sfb unit_byte

drivers/video/fbdev/sm712fb.c smtcfb_pci_remove() -> smtc_unmap_smem()

Type Parameter Key Value
BUF_SIZE 0 sfb s32min-(-2),1-s32max
BUF_SIZE 0 sfb s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sfb unit_byte