in u8500_hsem.c [149:152]
static void __exit u8500_hsem_exit(void) { platform_driver_unregister(&u8500_hsem_driver); }