/* SPDX-License-Identifier: GPL-2.0 */
/* s390-specific clocksource additions */

#ifndef _ASM_S390_CLOCKSOURCE_H
#define _ASM_S390_CLOCKSOURCE_H

#endif /* _ASM_S390_CLOCKSOURCE_H */