Symbol: vchiq_dump_platform_instances
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c
3946
vchiq_dump_platform_instances(state, f);
include/linux/raspberrypi/vchiq_core.h
608
void vchiq_dump_platform_instances(struct vchiq_state *state, struct seq_file *f);