Searched refs:tsc_value (Results 1 – 1 of 1) sorted by relevance

/xen/xen/arch/x86/
A D	smpboot.c	122 static uint64_t tsc_value; variable 138 tsc_value = rdtsc_ordered(); in synchronize_tsc_master() 170 __write_tsc(tsc_value); in synchronize_tsc_slave()

Completed in 4 milliseconds

Last Index update Fri Sep 05 17:56:23 CST 2025