/* 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 */