Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/video/fbdev/tridentfb.c disable_mmio() -> is_oldprotect()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/video/fbdev/tridentfb.c enable_mmio() -> is_oldprotect()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/video/fbdev/tridentfb.c tridentfb_set_par() -> is_oldprotect()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | id | s32min-38496,38533 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &minfo->crtc2.lock |