msgbufcount32    1696 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c 	unsigned int __user *msgbufcount32;
msgbufcount32    1815 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c 	msgbufcount32 =
msgbufcount32    1818 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c 	if (copy_to_user(msgbufcount32,