Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/vga/vga_switcheroo.c vga_switcheroo_client_fb_set() -> find_client_from_pci()

Type Parameter Key Value
PARAM_VALUE 0 head 3950901799571619864
PARAM_VALUE 1 pdev 4096-ptr_max
DATA_SOURCE 1 pdev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 1 pdev unit_byte
LOCK2 global &vgasr_mutex
HALF_LOCKED2 global &console_sem
HALF_LOCKED2 global &registration_lock

drivers/gpu/vga/vga_switcheroo.c vga_switcheroo_get_client_state() -> find_client_from_pci()

Type Parameter Key Value
PARAM_VALUE 0 head 3950901799571619864
PARAM_VALUE 1 pdev 4096-ptr_max
CAPPED_DATA 1 pdev->bus->number 1
DATA_SOURCE 1 pdev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &vgasr_mutex
HALF_LOCKED2 &pci->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/gpu/vga/vga_switcheroo.c vga_switcheroo_power_switch() -> find_client_from_pci()

Type Parameter Key Value
PARAM_VALUE 0 head 3950901799571619864
PARAM_VALUE 1 pdev 4096-ptr_max
DATA_SOURCE 1 pdev $0
LOCK2 global &vgasr_mutex

drivers/gpu/vga/vga_switcheroo.c vga_switcheroo_unregister_client() -> find_client_from_pci()

Type Parameter Key Value
PARAM_VALUE 0 head 3950901799571619864
BUF_SIZE 1 pdev (-1),1-s32max
BUF_SIZE 1 pdev (-1),1-s32max
DATA_SOURCE 1 pdev $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 pdev->current_state 0-3[c]
UNITS 1 pdev unit_byte
LOCK2 global &vgasr_mutex