Symbol: vchiq_completion_data32
drivers/platform/raspberrypi/vchiq-interface/vchiq_dev.c
425
struct vchiq_completion_data32 __user *buf32 = (void __user *)buf;
drivers/platform/raspberrypi/vchiq-interface/vchiq_dev.c
428
struct vchiq_completion_data32 tmp = {