39a40,44
> #include "cpu/kvm/timer.hh"
>
> #include <sys/syscall.h>
> #include <unistd.h>
>
43,44d47
< #include <unistd.h>
< #include <sys/syscall.h>
48d50
< #include "cpu/kvm/timer.hh"