Symbol: vchiq_platform_uninit
drivers/platform/raspberrypi/vchiq-interface/vchiq_arm.c
1417
vchiq_platform_uninit(mgmt);
drivers/platform/raspberrypi/vchiq-interface/vchiq_arm.c
1435
vchiq_platform_uninit(mgmt);