vga_update_device_decodes
vga_update_device_decodes(vgadev, new_decodes);
vga_update_device_decodes(vgadev, decodes);