Searched refs:TSC_sync_margin (Results 1 – 1 of 1) sorted by relevance
123 uint32_t TSC_sync_margin = 0xFFF; variable236 &TSC_sync_margin, sizeof(TSC_sync_margin))) { in smp_init()237 kprintf("TSC sync Margin 0x%x\n", TSC_sync_margin); in smp_init()240 TSC_sync_margin = 0; in smp_init()334 if (TSC_sync_margin && in started_cpu()385 if (TSC_sync_margin && in start_cpu()414 if (ABS(tsc_delta) > (int64_t) TSC_sync_margin) { in start_cpu()