vga_update_device_decodes  833 drivers/gpu/vga/vgaarb.c 	vga_update_device_decodes(vgadev, decodes);
vga_update_device_decodes 1409 drivers/gpu/vga/vgaarb.c 			vga_update_device_decodes(vgadev, new_decodes);