__put_v4l2_format32  410 drivers/media/v4l2-core/v4l2-compat-ioctl32.c 	return __put_v4l2_format32(p64, p32);
__put_v4l2_format32  422 drivers/media/v4l2-core/v4l2-compat-ioctl32.c 	return __put_v4l2_format32(&p64->format, &p32->format);