Symbol: vchiq_device_register
drivers/platform/raspberrypi/vchiq-interface/vchiq_arm.c
1423
bcm2835_audio = vchiq_device_register(&pdev->dev, "bcm2835-audio");
include/linux/raspberrypi/vchiq_bus.h
43
vchiq_device_register(struct device *parent, const char *name);