void dprc_driver_exit(void) { fsl_mc_driver_unregister(&dprc_driver); }
void __exit fsl_mc_allocator_driver_exit(void) { fsl_mc_driver_unregister(&fsl_mc_allocator_driver); }
void dprc_driver_exit(void) { fsl_mc_driver_unregister(&dprc_driver); }
void __exit fsl_mc_allocator_driver_exit(void) { fsl_mc_driver_unregister(&fsl_mc_allocator_driver); }