extern device_t riva128_device;
extern device_t rivatnt_device;
extern device_t rivatnt2_device;