Symbol: vchiq_debugfs_deinit
drivers/platform/raspberrypi/vchiq-interface/vchiq_arm.c
1433
vchiq_debugfs_deinit();
include/linux/raspberrypi/vchiq_debugfs.h
16
void vchiq_debugfs_deinit(void);