108 	struct vga_device *vgadev;  in vgadev_find()  local
210 static struct vga_device *__vga_tryget(struct vga_device *vgadev,  in __vga_tryget()
357 static void __vga_put(struct vga_device *vgadev, unsigned int rsrc)  in __vga_put()
436 	struct vga_device *vgadev, *conflict;  in vga_get()  local
503 	struct vga_device *vgadev;  in vga_tryget()  local
539 	struct vga_device *vgadev;  in vga_put()  local
604 static bool vga_is_boot_device(struct vga_device *vgadev)  in vga_is_boot_device()
697 static void vga_arbiter_check_bridge_sharing(struct vga_device *vgadev)  in vga_arbiter_check_bridge_sharing()
761 	struct vga_device *vgadev;  in vga_arbiter_add_pci_device()  local
846 	struct vga_device *vgadev;  in vga_arbiter_del_pci_device()  local
876 static void vga_update_device_decodes(struct vga_device *vgadev,  in vga_update_device_decodes()
914 	struct vga_device *vgadev;  in __vga_set_legacy_decoding()  local
985 	struct vga_device *vgadev;  in vga_client_register()  local
1095 	struct vga_device *vgadev;  in vga_arb_read()  local
1312 		struct vga_device *vgadev;  in vga_arb_write()  local
1472 	struct vga_device *vgadev;  in vga_arbiter_notify_clients()  local