Lines Matching refs:TSC_sync_margin
113 uint32_t TSC_sync_margin = 0xFFF;
234 if (PE_parse_boot_argn("TSC_sync_margin",
235 &TSC_sync_margin, sizeof(TSC_sync_margin))) {
236 kprintf("TSC sync Margin 0x%x\n", TSC_sync_margin);
239 TSC_sync_margin = 0;
330 if (TSC_sync_margin &&
379 if (TSC_sync_margin &&
384 * TSC_sync_margin (TSC_SYNC_MARGIN) ticks. This margin
399 if (ABS(tsc_delta) > (int64_t) TSC_sync_margin) {