/* SPDX-License-Identifier: GPL-2.0-or-later */
#ifndef __ASM_VDSOCLOCKSOURCE_H
#define __ASM_VDSOCLOCKSOURCE_H

#define VDSO_ARCH_CLOCKMODES	\
	VDSO_CLOCKMODE_R4K,	\
	VDSO_CLOCKMODE_GIC

#endif /* __ASM_VDSOCLOCKSOURCE_H */
