1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef _VDSO_AUXCLOCK_H 3 #define _VDSO_AUXCLOCK_H 4 5 #include <uapi/linux/time.h> 6 #include <uapi/linux/types.h> 7 8 static __always_inline u64 aux_clock_resolution_ns(void) 9 { 10 return 1; 11 } 12 13 #endif /* _VDSO_AUXCLOCK_H */ 14