wbinvd();
#endif
temp = (temp + 60) << 10;
+ barrier();
asm volatile ("");
+ barrier();
//__my_trace_mark(1, kernel_debug_test, NULL, "%d %d %ld %ld", 2, current->pid, arg, arg2);
//__my_trace_mark(0, kernel_debug_test, NULL, "%d %d %ld %ld", 2, current->pid, arg, arg2);
}