int __init dprc_driver_init(void) { return fsl_mc_driver_register(&dprc_driver); }
int __init fsl_mc_allocator_driver_init(void) { return fsl_mc_driver_register(&fsl_mc_allocator_driver); }