Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/vgaarb.c __vga_set_legacy_decoding() -> vga_update_device_decodes()

Type Parameter Key Value
PARAM_VALUE 0 vgadev 4096-ptr_max
PARAM_VALUE 0 vgadev->pdev 1-u64max
PARAM_VALUE 1 new_decodes 0-3
CAPPED_DATA 0 vgadev->pdev 1
DATA_SOURCE 0 vgadev r vgadev_find
DATA_SOURCE 1 new_decodes $1 [m]
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 global &vga_lock

drivers/pci/vgaarb.c vga_arbiter_notify_clients() -> vga_update_device_decodes()

Type Parameter Key Value
PARAM_VALUE 0 vgadev 4096-ptr_max
PARAM_VALUE 0 vgadev->set_decode 1-u64max
PARAM_VALUE 1 new_decodes 12-13,15
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 global &vga_lock