Symbol: vchiq_dump_platform_service_state
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c
3908
vchiq_dump_platform_service_state(f, service);
include/linux/raspberrypi/vchiq_core.h
610
void vchiq_dump_platform_service_state(struct seq_file *f, struct vchiq_service *service);