static void __exit ps2_exit(void) { sa1111_driver_unregister(&ps2_driver); }
static void __exit sa1111_drv_pcmcia_exit(void) { sa1111_driver_unregister(&pcmcia_driver); }
static void __exit ohci_hcd_sa1111_cleanup (void) { sa1111_driver_unregister(&ohci_hcd_sa1111_driver); }