compile error

[keloyang]

make -C kern
make[1]: Entering directory /home/yangsk/workspace/dune-master/kern' mkdir -p /home/yangsk/workspace/dune-master/kern/tmp/.tmp_versions make -C /lib/modules/3.13.0-47-generic/build M=/home/yangsk/workspace/dune-master/kern MODVERDIR=/home/yangsk/workspace/dune-master/kern/tmp/.tmp_versions modules make[2]: Entering directory/usr/src/linux-headers-3.13.0-47-generic'
CC [M] /home/yangsk/workspace/dune-master/kern/vmx.o
/home/yangsk/workspace/dune-master/kern/vmx.c: In function 'vmx_setup_initial_guest_state':
/home/yangsk/workspace/dune-master/kern/vmx.c:793:10: error: 'X86_CR4_RDWRGSFS' undeclared (first use in this function)
cr4 |= X86_CR4_RDWRGSFS;
^
/home/yangsk/workspace/dune-master/kern/vmx.c:793:10: note: each undeclared identifier is reported only once for each function it appears in
/home/yangsk/workspace/dune-master/kern/vmx.c: In function 'vmx_enable':
/home/yangsk/workspace/dune-master/kern/vmx.c:1631:2: error: implicit declaration of function 'store_gdt' [-Werror=implicit-function-declaration]
store_gdt(&__get_cpu_var(host_gdt));
^
cc1: some warnings being treated as errors
make[3]: *** [/home/yangsk/workspace/dune-master/kern/vmx.o] Error 1
make[2]: *** [module/home/yangsk/workspace/dune-master/kern] Error 2
make[2]: Leaving directory /usr/src/linux-headers-3.13.0-47-generic' make[1]: *** [modules] Error 2 make[1]: Leaving directory/home/yangsk/workspace/dune-master/kern'