Searched refs:TSC_sync_margin (Results 1 – 1 of 1) sorted by relevance
121 uint32_t TSC_sync_margin = 0xFFF; variable234 &TSC_sync_margin, sizeof(TSC_sync_margin))) { in smp_init()235 kprintf("TSC sync Margin 0x%x\n", TSC_sync_margin); in smp_init()238 TSC_sync_margin = 0; in smp_init()332 if (TSC_sync_margin && in started_cpu()383 if (TSC_sync_margin && in start_cpu()412 if (ABS(tsc_delta) > (int64_t) TSC_sync_margin) { in start_cpu()