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