Symbol: vchiq_platform_init_state
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c
2597
ret = vchiq_platform_init_state(state);
include/linux/raspberrypi/vchiq_core.h
620
int vchiq_platform_init_state(struct vchiq_state *state);