1/* SPDX-License-Identifier: GPL-2.0-or-later */
2#ifndef __ASM_VDSOCLOCKSOURCE_H
3#define __ASM_VDSOCLOCKSOURCE_H
4
5#define VDSO_ARCH_CLOCKMODES	\
6	VDSO_CLOCKMODE_R4K,	\
7	VDSO_CLOCKMODE_GIC
8
9#endif /* __ASM_VDSOCLOCKSOURCE_H */

1/* SPDX-License-Identifier: GPL-2.0-or-later */
2#ifndef __ASM_VDSOCLOCKSOURCE_H
3#define __ASM_VDSOCLOCKSOURCE_H
4
5#define VDSO_ARCH_CLOCKMODES	\
6	VDSO_CLOCKMODE_R4K,	\
7	VDSO_CLOCKMODE_GIC
8
9#endif /* __ASM_VDSOCLOCKSOURCE_H */