1/* SPDX-License-Identifier: GPL-2.0 */
2/* s390-specific clocksource additions */
3
4#ifndef _ASM_S390_CLOCKSOURCE_H
5#define _ASM_S390_CLOCKSOURCE_H
6
7#endif /* _ASM_S390_CLOCKSOURCE_H */