Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
drivers/video/fbdev/core/fbcon.c fbcon_fb_unregistered() -> do_unregister_con_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | csw | 2870573280414380032 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &console_sem | ||
| LOCK2 | global ®istration_lock | ||
| HALF_LOCKED2 | &dev->clientlist_mutex | ||
| HALF_LOCKED2 | &dev->reclaim_sem | ||
| HALF_LOCKED2 | &hdev->driver_input_lock | ||
| HALF_LOCKED2 | global &disconnect_mutex |
drivers/pci/vgaarb.c vga_remove_vgacon() -> do_unregister_con_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | csw | 3404151931943862272 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &console_sem | ||
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/tty/vt/vt.c give_up_console() -> do_unregister_con_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | csw | $0 |
| NOCHECK_CALL | |||
| LOCK2 | global &console_sem |