savedcmd_drivers/media/v4l2-core/videodev.mod := printf '%s\n'   v4l2-dev.o v4l2-ioctl.o v4l2-device.o v4l2-fh.o v4l2-event.o v4l2-subdev.o v4l2-common.o v4l2-ctrls-core.o v4l2-ctrls-api.o v4l2-ctrls-request.o v4l2-ctrls-defs.o v4l2-compat-ioctl32.o v4l2-mc.o v4l2-spi.o v4l2-i2c.o | awk '!x[$$0]++ { print("drivers/media/v4l2-core/"$$0) }' > drivers/media/v4l2-core/videodev.mod
