Symbol: __vga_put
drivers/pci/vgaarb.c
551
__vga_put(vgadev, rsrc);
drivers/pci/vgaarb.c
867
__vga_put(vgadev, decodes_unlocked);