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
8static __always_inline u64 aux_clock_resolution_ns(void)
9{
10 return 1;
11}
12
13#endif /* _VDSO_AUXCLOCK_H */
14