spin_time_start    58 arch/x86/xen/spinlock.c static inline u64 spin_time_start(void)
spin_time_start   102 arch/x86/xen/spinlock.c static inline u64 spin_time_start(void)