vchi_service_destroy   86 drivers/staging/vc04_services/interface/vchi/vchi.h extern int32_t vchi_service_destroy(const VCHI_SERVICE_HANDLE_T handle);
vchi_service_destroy  668 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_shim.c EXPORT_SYMBOL(vchi_service_destroy);