/* Copyright holders: Sarah Walker
   see COPYING for more details
*/
extern device_t tgui9440_vlb_device;
extern device_t tgui9440_pci_device;