1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __ASM_VDSOCLOCKSOURCE_H
3 #define __ASM_VDSOCLOCKSOURCE_H
5 enum vdso_arch_clockmode {
6 /* vdso clocksource not usable */
8 /* vdso clocksource for both 32 and 64bit tasks */
9 VDSO_CLOCKMODE_ARCHTIMER,
10 /* vdso clocksource for 64bit tasks only */
11 VDSO_CLOCKMODE_ARCHTIMER_NOCOMPAT,