extern device_t avga2_device;
extern device_t avga2_cbm_sl386sx_device;
extern device_t gd5426_ps1_device;
extern device_t gd5428_device;
extern device_t gd5426_device;
extern device_t gd5428_swapped_device;
extern device_t gd5426_swapped_device;
extern device_t gd5434_vlb_swapped_device;
extern device_t gd5434_vlb_device;
extern device_t gd5446_device;
extern device_t ibm_gd5428_device;
extern device_t gd5429_device;
extern device_t gd5429_reply_m25_device;
extern device_t gd5430_device;
extern device_t gd5430_pb570_device;
extern device_t gd5434_device;
extern device_t gd5434_pb520r_device;
