Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 10 files:
- drivers/video/fbdev/arkfb.c, line 525
- drivers/video/fbdev/i810/i810_main.c, line 1249
- drivers/video/fbdev/neofb.c, line 557
- drivers/video/fbdev/nvidia/nvidia.c, line 982
- drivers/video/fbdev/riva/fbdev.c, line 993
- drivers/video/fbdev/s3fb.c, line 518
- drivers/video/fbdev/savage/savagefb_driver.c, line 1618
- drivers/video/fbdev/vga16fb.c, line 307
- drivers/video/fbdev/vt8623fb.c, line 293
- drivers/video/vgastate.c, line 484
Smatch caller information:
drivers/video/fbdev/s3fb.c s3fb_open() -> save_vga()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->flags | 31 |
| PARAM_VALUE | 0 | state->num_crtc | 112 |
| PARAM_VALUE | 0 | state->num_seq | 32 |
| MEM_ZERO | 0 | state | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &par->open_lock | ||
| HALF_LOCKED2 | &info->lock | ||
| TYPE_LOCK | (struct s3fb_info)->open_lock |
drivers/video/fbdev/vt8623fb.c vt8623fb_open() -> save_vga()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->flags | 31 |
| PARAM_VALUE | 0 | state->num_crtc | 162 |
| PARAM_VALUE | 0 | state->num_seq | 80 |
| MEM_ZERO | 0 | state | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &par->open_lock | ||
| HALF_LOCKED2 | &info->lock | ||
| TYPE_LOCK | (struct vt8623fb_info)->open_lock |
drivers/video/fbdev/savage/savagefb_driver.c savagefb_open() -> save_vga()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->flags | 31 |
| PARAM_VALUE | 0 | state->vgabase | 4096-ptr_max |
| MEM_ZERO | 0 | state | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &par->open_lock | ||
| HALF_LOCKED2 | &info->lock | ||
| TYPE_LOCK | (struct savagefb_par)->open_lock |
drivers/video/fbdev/nvidia/nvidia.c save_vga_x86() -> save_vga()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->flags | 31 |
| MEM_ZERO | 0 | state | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &info->lock |
drivers/video/fbdev/riva/fbdev.c rivafb_open() -> save_vga()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->flags | 15,31 |
| MEM_ZERO | 0 | state | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &par->open_lock | ||
| HALF_LOCKED2 | &info->lock | ||
| TYPE_LOCK | (struct riva_par)->open_lock |
drivers/video/fbdev/neofb.c neofb_open() -> save_vga()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->flags | 15 |
| MEM_ZERO | 0 | state | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &info->lock |
drivers/video/fbdev/vga16fb.c vga16fb_open() -> save_vga()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->flags | 31 |
| MEM_ZERO | 0 | state | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &info->lock |
drivers/video/fbdev/arkfb.c arkfb_open() -> save_vga()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->flags | 31 |
| PARAM_VALUE | 0 | state->num_crtc | 96 |
| PARAM_VALUE | 0 | state->num_seq | 48 |
| MEM_ZERO | 0 | state | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &par->open_lock | ||
| HALF_LOCKED2 | &info->lock | ||
| TYPE_LOCK | (struct arkfb_info)->open_lock |