/* SPDX-License-Identifier: GPL-2.0 */ #ifndef _VDSO_AUXCLOCK_H #define _VDSO_AUXCLOCK_H #include <uapi/linux/time.h> #include <uapi/linux/types.h> static __always_inline u64 aux_clock_resolution_ns(void) { return 1; } #endif /* _VDSO_AUXCLOCK_H */