1/* SPDX-License-Identifier: GPL-2.0 */
2
3#ifndef __ASM_VDSO_CSKY_CLOCKSOURCE_H
4#define __ASM_VDSO_CSKY_CLOCKSOURCE_H
5
6#include <asm/vdso/clocksource.h>
7
8#endif
9