extern device_t tvga8900d_device;
extern device_t tvga9000b_device;