atari_unregister_vme_int
EXPORT_SYMBOL(atari_unregister_vme_int);
void atari_unregister_vme_int(unsigned int);