Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/vga/vga_switcheroo.c check_can_switch() -> (struct vga_switcheroo_client_ops)->can_switch()

Type Parameter Key Value
CONTAINER 0 *(-16-24+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &vgasr_mutex