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