spin_time_start   197 arch/x86/xen/spinlock.c 	start = spin_time_start();
spin_time_start   263 arch/x86/xen/spinlock.c 	start_spin = spin_time_start();
spin_time_start   266 arch/x86/xen/spinlock.c 		u64 start_spin_fast = spin_time_start();