vclocks_used       13 arch/x86/include/asm/vdso/vsyscall.h int vclocks_used __read_mostly;
vclocks_used       33 arch/x86/include/asm/vdso/vsyscall.h 	WRITE_ONCE(vclocks_used, READ_ONCE(vclocks_used) | (1 << vclock_mode));
vclocks_used       18 arch/x86/include/asm/vgtod.h extern int vclocks_used;
vclocks_used       21 arch/x86/include/asm/vgtod.h 	return READ_ONCE(vclocks_used) & (1 << vclock);