1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _S390_VTIME_H
3#define _S390_VTIME_H
4
5#define __ARCH_HAS_VTIME_ACCOUNT
6#define __ARCH_HAS_VTIME_TASK_SWITCH
7
8#endif /* _S390_VTIME_H */
9