Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/core/fbcon.c set_con2fb_map() -> con2fb_init_display()

Type Parameter Key Value
PARAM_VALUE 1 info 1-u64max
PARAM_VALUE 1 info->fbcon_par->bitops->bmove 358624830283558912,720436299731693568,831468009678733312,5647362587788095488,8504779760420265984
PARAM_VALUE 1 info->fbcon_par->bitops->clear 521403232646520832,551109980336709632,2946937881798750208,5928266012869279744,8021089253971767296
PARAM_VALUE 1 info->fbcon_par->bitops->clear_margins 2332376742054326272,3869344602472914944,6310568554524909568,7948939035621462016,8218489519675916288
PARAM_VALUE 1 info->fbcon_par->bitops->cursor 868574231927816192,1057466323525296128,5348809894935224320,6414243839333818368,8306283402744143872
PARAM_VALUE 1 info->fbcon_par->bitops->putcs 2160703045434204160,3282196084730585088,3915716234231488512,5524593610357645312,5974748255006371840
PARAM_VALUE 1 info->fbcon_par->bitops->rotate_font 0,2820989491178905600
PARAM_VALUE 1 info->fbcon_par->bitops->update_start 1284623903226216448,2343379461867827200,5536275800052752384,8034552877633937408,8573967883634688000
PARAM_VALUE 2 unit 0-62
PARAM_VALUE 3 show_logo 0-1
CAPPED_DATA 1 info 1
CAPPED_DATA 2 unit 1
DATA_SOURCE 2 unit $0
FUZZY_MAX 2 unit 62
FUZZY_MAX 3 show_logo 1
NOSPEC 2 unit
HARD_MAX 3 show_logo 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 info->par->initial.CR31 0-255
HOST_DATA 1 info->par->initial.CR32 0-255
HOST_DATA 1 info->par->initial.CR33 0-255
HOST_DATA 1 info->par->initial.CR34 0-255
HOST_DATA 1 info->par->initial.CR36 0-255
HOST_DATA 1 info->par->initial.CR3A 0-255
HOST_DATA 1 info->par->initial.CR3B 0-255
HOST_DATA 1 info->par->initial.CR3C 0-255
HOST_DATA 1 info->par->initial.CR40 0-255
HOST_DATA 1 info->par->initial.CR42 0-255
HOST_DATA 1 info->par->initial.CR43 0-255
HOST_DATA 1 info->par->initial.CR45 0-255
HOST_DATA 1 info->par->initial.CR50 0-255
HOST_DATA 1 info->par->initial.CR51 0-255
HOST_DATA 1 info->par->initial.CR53 0-255
HOST_DATA 1 info->par->initial.CR58 0-255
HOST_DATA 1 info->par->initial.CR5D 0-255
HOST_DATA 1 info->par->initial.CR5E 0-255
HOST_DATA 1 info->par->initial.CR60 0-255
HOST_DATA 1 info->par->initial.CR65 0-255
HOST_DATA 1 info->par->initial.CR66 0-255
HOST_DATA 1 info->par->initial.CR67 0-255
HOST_DATA 1 info->par->initial.CR68 0-255
HOST_DATA 1 info->par->initial.CR69 0-255
HOST_DATA 1 info->par->initial.CR6F 0-255
HOST_DATA 1 info->par->initial.CR86 0-255
HOST_DATA 1 info->par->initial.CR88 0-255
HOST_DATA 1 info->par->initial.CR90 0-255
HOST_DATA 1 info->par->initial.CR91 0-255
HOST_DATA 1 info->par->initial.CRB0 0-255
HOST_DATA 1 info->par->initial.MMPR0 0-4294967295
HOST_DATA 1 info->par->initial.MMPR1 0-4294967295
HOST_DATA 1 info->par->initial.MMPR2 0-4294967295
HOST_DATA 1 info->par->initial.MMPR3 0-4294967295
HOST_DATA 1 info->par->initial.SR08 0-255
HOST_DATA 1 info->par->initial.SR0E 0-255
HOST_DATA 1 info->par->initial.SR0F 0-255
HOST_DATA 1 info->par->initial.SR10 0-255
HOST_DATA 1 info->par->initial.SR11 0-255
HOST_DATA 1 info->par->initial.SR12 0-255
HOST_DATA 1 info->par->initial.SR13 0-255
HOST_DATA 1 info->par->initial.SR15 0-255
HOST_DATA 1 info->par->initial.SR18 0-255
HOST_DATA 1 info->par->initial.SR29 0-255
HOST_DATA 1 info->par->initial.SR30 0-255
HOST_DATA 1 info->par->initial_state s64min-s64max
HOST_DATA 1 info->par->initial_state.arbitration0 0-255
HOST_DATA 1 info->par->initial_state.arbitration1 0-511
HOST_DATA 1 info->par->initial_state.bpp 0-4294967295
HOST_DATA 1 info->par->initial_state.config 0-4294967295
HOST_DATA 1 info->par->initial_state.control 0-4294967295
HOST_DATA 1 info->par->initial_state.crtcOwner 0-255
HOST_DATA 1 info->par->initial_state.crtcSync 0-4294967295
HOST_DATA 1 info->par->initial_state.cursor0 0-255
HOST_DATA 1 info->par->initial_state.cursor1 0-255
HOST_DATA 1 info->par->initial_state.cursor2 0-255
HOST_DATA 1 info->par->initial_state.cursorConfig 0-4294967295
HOST_DATA 1 info->par->initial_state.displayV 0-4294967295
HOST_DATA 1 info->par->initial_state.dither 0-4294967295
HOST_DATA 1 info->par->initial_state.ext s64min-s64max
HOST_DATA 1 info->par->initial_state.ext.arbitration0 0-255
HOST_DATA 1 info->par->initial_state.ext.arbitration1 0-255
HOST_DATA 1 info->par->initial_state.ext.bpp 0-4294967295
HOST_DATA 1 info->par->initial_state.ext.config 0-4294967295
HOST_DATA 1 info->par->initial_state.ext.crtcOwner 0-255
HOST_DATA 1 info->par->initial_state.ext.cursor0 0-255
HOST_DATA 1 info->par->initial_state.ext.cursor1 0-255
HOST_DATA 1 info->par->initial_state.ext.cursor2 0-255
HOST_DATA 1 info->par->initial_state.ext.cursorConfig 0-4294967295
HOST_DATA 1 info->par->initial_state.ext.dither 0-4294967295
HOST_DATA 1 info->par->initial_state.ext.extra 0-255
HOST_DATA 1 info->par->initial_state.ext.general 0-4294967295
HOST_DATA 1 info->par->initial_state.ext.head 0-4294967295
HOST_DATA 1 info->par->initial_state.ext.head2 0-4294967295
HOST_DATA 1 info->par->initial_state.ext.height 0-4294967295
HOST_DATA 1 info->par->initial_state.ext.horiz 0-255
HOST_DATA 1 info->par->initial_state.ext.interlace 0-255
HOST_DATA 1 info->par->initial_state.ext.offset0 0-4294967295
HOST_DATA 1 info->par->initial_state.ext.offset1 0-4294967295
HOST_DATA 1 info->par->initial_state.ext.offset2 0-4294967295
HOST_DATA 1 info->par->initial_state.ext.offset3 0-4294967295
HOST_DATA 1 info->par->initial_state.ext.pitch0 0-4294967295
HOST_DATA 1 info->par->initial_state.ext.pitch1 0-4294967295
HOST_DATA 1 info->par->initial_state.ext.pitch2 0-4294967295
HOST_DATA 1 info->par->initial_state.ext.pitch3 0-4294967295
HOST_DATA 1 info->par->initial_state.ext.pixel 0-255
HOST_DATA 1 info->par->initial_state.ext.pllsel 0-4294967295
HOST_DATA 1 info->par->initial_state.ext.repaint0 0-255
HOST_DATA 1 info->par->initial_state.ext.repaint1 0-255
HOST_DATA 1 info->par->initial_state.ext.scale 0-4294967295
HOST_DATA 1 info->par->initial_state.ext.screen 0-255
HOST_DATA 1 info->par->initial_state.ext.vpll 0-4294967295
HOST_DATA 1 info->par->initial_state.ext.vpll2 0-4294967295
HOST_DATA 1 info->par->initial_state.ext.width 0-4294967295
HOST_DATA 1 info->par->initial_state.extra 0-255
HOST_DATA 1 info->par->initial_state.fifo 0-255
HOST_DATA 1 info->par->initial_state.general 0-4294967295
HOST_DATA 1 info->par->initial_state.head 0-4294967295
HOST_DATA 1 info->par->initial_state.head2 0-4294967295
HOST_DATA 1 info->par->initial_state.height 0-4294967295
HOST_DATA 1 info->par->initial_state.horiz 0-255
HOST_DATA 1 info->par->initial_state.interlace 0-255
HOST_DATA 1 info->par->initial_state.misc_output 0-255
HOST_DATA 1 info->par->initial_state.pixel 0-255
HOST_DATA 1 info->par->initial_state.pll 0-4294967295
HOST_DATA 1 info->par->initial_state.pllB 0-4294967295
HOST_DATA 1 info->par->initial_state.pllsel 0-4294967295
HOST_DATA 1 info->par->initial_state.repaint0 0-255
HOST_DATA 1 info->par->initial_state.repaint1 0-255
HOST_DATA 1 info->par->initial_state.scale 0-4294967295
HOST_DATA 1 info->par->initial_state.screen 0-255
HOST_DATA 1 info->par->initial_state.timingH 0-255
HOST_DATA 1 info->par->initial_state.timingV 0-255
HOST_DATA 1 info->par->initial_state.vpll 0-4294967295
HOST_DATA 1 info->par->initial_state.vpll2 0-4294967295
HOST_DATA 1 info->par->initial_state.vpll2B 0-4294967295
HOST_DATA 1 info->par->initial_state.vpllB 0-4294967295
HOST_DATA 1 info->par->initial_state.width 0-4294967295
HOST_DATA 1 info->par->state.vidstate->misc 0-255
HOST_DATA 1 info->par->vgastate.vidstate->misc 0-255
USER_DATA 2 unit 0-62[c]
NO_OVERFLOW_SIMPLE 1 info->fbdefio_state->npagerefs
HALF_LOCKED2 global &console_sem
HALF_LOCKED2 global &registration_lock
HALF_LOCKED2 global &vgasr_mutex