#ifdef CACHEFLUSH
wbinvd();
#endif
+ asm ("" : : "i" ((100 + 60) << 10));
asm volatile ("");
//__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);