108 	struct vga_device *vgadev;  in vgadev_find()  local
210 static struct vga_device *__vga_tryget(struct vga_device *vgadev,  in __vga_tryget()
349 static void __vga_put(struct vga_device *vgadev, unsigned int rsrc)  in __vga_put()
425 	struct vga_device *vgadev, *conflict;  in vga_get()  local
492 	struct vga_device *vgadev;  in vga_tryget()  local
528 	struct vga_device *vgadev;  in vga_put()  local
600 static bool vga_is_boot_device(struct vga_device *vgadev)  in vga_is_boot_device()
693 static void vga_arbiter_check_bridge_sharing(struct vga_device *vgadev)  in vga_arbiter_check_bridge_sharing()
758 	struct vga_device *vgadev;  in vga_arbiter_add_pci_device()  local
845 	struct vga_device *vgadev;  in vga_arbiter_del_pci_device()  local
875 static inline 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
984 	struct vga_device *vgadev;  in vga_client_register()  local
1103 	struct vga_device *vgadev;  in vga_arb_read()  local
1319 		struct vga_device *vgadev;  in vga_arb_write()  local
1480 	struct vga_device *vgadev;  in vga_arbiter_notify_clients()  local