Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/riva/fbdev.c rivafb_open() -> riva_save_state()

Type Parameter Key Value
PARAM_VALUE 0 par 4096-ptr_max
PARAM_VALUE 0 par->open_lock.dep_map->name 0-255
PARAM_VALUE 0 par->open_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 par->open_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 par->open_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 par->open_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 par->open_lock.wait_lock.owner (-1)
PARAM_VALUE 0 par->open_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 par->ref_count 0
PARAM_VALUE 0 par->state.flags 15,31
PARAM_VALUE 0 par->state.membase 0,655360
PARAM_VALUE 0 par->state.memsize 0,65536
PARAM_VALUE 0 par->state.num_attr 0,21
PARAM_VALUE 0 par->state.num_crtc 0,25
PARAM_VALUE 0 par->state.num_gfx 0,9
PARAM_VALUE 0 par->state.num_seq 0,5
PARAM_VALUE 0 par->state.vidstate 0
PARAM_VALUE 1 regs 4096-ptr_max
BUF_SIZE 0 par 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 par 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
CAPPED_DATA 0 &par->open_lock 1
FUZZY_MAX 0 par->state.flags 15
FUZZY_MAX 0 par->state.membase 0
FUZZY_MAX 0 par->state.memsize 0
FUZZY_MAX 0 par->state.num_attr 0
FUZZY_MAX 0 par->state.num_crtc 0
FUZZY_MAX 0 par->state.num_gfx 0
FUZZY_MAX 0 par->state.num_seq 0
BIT_INFO 0 par->state.flags 0xf,0xffffffffffffffff
MEM_ZERO 0 &par->state
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 par unit_byte
LOCK2 0 &par->open_lock
HALF_LOCKED2 &info->lock
TYPE_LOCK (struct riva_par)->open_lock