__vga_put         583 drivers/gpu/vga/vgaarb.c 	__vga_put(vgadev, rsrc);
__vga_put         801 drivers/gpu/vga/vgaarb.c 		__vga_put(vgadev, decodes_unlocked);