Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/pci/vgaarb.c vga_arb_open() -> vga_default_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/pci/vgaarb.c vga_arb_write() -> vga_default_device()

Type Parameter Key Value

drivers/pci/vgaarb.c vga_arbiter_add_pci_device() -> vga_default_device()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 global &vga_lock

drivers/pci/vgaarb.c vga_get() -> vga_default_device()

Type Parameter Key Value
RX_PATH

drivers/pci/vgaarb.c vga_is_boot_device() -> vga_default_device()

Type Parameter Key Value
PREEMPT_ADD
LOCK2 flags
LOCK2 global &vga_lock

drivers/pci/vgaarb.c vga_put() -> vga_default_device()

Type Parameter Key Value
RX_PATH

drivers/pci/vgaarb.c vga_tryget() -> vga_default_device()

Type Parameter Key Value

drivers/video/aperture.c aperture_remove_conflicting_pci_devices() -> vga_default_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &of->mutex

arch/x86/pci/fixup.c pci_fixup_video() -> vga_default_device()

Type Parameter Key Value

arch/x86/pci/fixup.c pci_fixup_video() -> vga_default_device()

Type Parameter Key Value

drivers/gpu/drm/amd/amdgpu/amdgpu_bios.c amdgpu_prefer_rom_resource() -> vga_default_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/pci/pci-sysfs.c boot_vga_show() -> vga_default_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/gpu/vga/vga_switcheroo.c vga_switcheroo_client_probe_defer() -> vga_default_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pdev->dev.mutex

drivers/gpu/vga/vga_switcheroo.c vga_switcheroo_register_client() -> vga_default_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

arch/x86/video/video-common.c video_is_primary_device() -> vga_default_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING