Updated host/uos_download.c to use new timer API introduced in Linux 4.14.0.

[xeon-phi-kernel-module] / vnet / Kbuild

obj-m += intel_micveth.o

intel_micveth-objs := micveth.o micveth_param.o micveth_dma.o