#define V3_CREATE_THREAD(fn, arg, name) \
do { \
- extern struct v3_os_hooks * os_hooks; \
+ extern struct v3_os_hooks * os_hooks; \
if ((os_hooks) && (os_hooks)->start_kernel_thread) { \
(os_hooks)->start_kernel_thread(fn, arg, name); \
} \
rdtscll(tmp_tsc);
+ if (tmp_tsc < info->time_state.cached_host_tsc) {
+ PrintError("Time has gone backwards, panicing!\n");
+ return -1;
+ }
v3_update_time(info, tmp_tsc - info->time_state.cached_host_tsc);
rdtscll(info->time_state.cached_host_tsc);
// guest_ctrl->TSC_OFFSET = info->time_state.guest_tsc - info->time_state.cached_host_tsc;