Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/vga/vga_switcheroo.c vga_switcheroo_lock_ddc() -> (struct vga_switcheroo_handler)->switch_ddc()

Type Parameter Key Value
PARAM_VALUE 0 id 0-1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &vgasr_priv.mux_hw_lock
TYPE_LOCK (struct vgasr_priv)->mux_hw_lock

drivers/gpu/vga/vga_switcheroo.c vga_switcheroo_unlock_ddc() -> (struct vga_switcheroo_handler)->switch_ddc()

Type Parameter Key Value
PARAM_VALUE 0 id 0-s32max
CONTAINER 0 *(-16-40+208) $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &vgasr_priv.mux_hw_lock