Defined in 1 files as a function:
Referenced in 3 files:
- drivers/video/fbdev/matrox/matroxfb_base.c
- drivers/video/fbdev/matrox/matroxfb_crtc2.c
- drivers/video/fbdev/matrox/matroxfb_misc.c, line 781
Smatch caller information:
drivers/video/fbdev/matrox/matroxfb_crtc2.c matroxfb_dh_regit() -> vaddr_va()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/video/fbdev/matrox/matroxfb_crtc2.c matroxfb_dh_set_par() -> vaddr_va()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &info->lock | ||
| HALF_LOCKED2 | &minfo->crtc2.lock |
drivers/video/fbdev/matrox/matroxfb_misc.c matroxfb_read_pins() -> vaddr_va()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |
drivers/video/fbdev/matrox/matroxfb_base.c initMatrox2() -> vaddr_va()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/video/fbdev/matrox/matroxfb_base.c initMatrox2() -> vaddr_va()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/video/fbdev/matrox/matroxfb_base.c matroxfb_set_par() -> vaddr_va()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &info->lock | ||
| HALF_LOCKED2 | &minfo->crtc2.lock |