Updated host/linvcons.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