vchiq_completion_data32 1695 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c 	struct vchiq_completion_data32 completion32;
vchiq_completion_data32 1713 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c 			   (struct vchiq_completion_data32 __user *)arg,