Symbol: vchiq_dump_platform_state
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c
3940
vchiq_dump_platform_state(f);
include/linux/raspberrypi/vchiq_core.h
606
void vchiq_dump_platform_state(struct seq_file *f);