18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
28c2ecf20Sopenharmony_ci#ifndef _S390_VTIME_H
38c2ecf20Sopenharmony_ci#define _S390_VTIME_H
48c2ecf20Sopenharmony_ci
58c2ecf20Sopenharmony_ci#define __ARCH_HAS_VTIME_ACCOUNT
68c2ecf20Sopenharmony_ci#define __ARCH_HAS_VTIME_TASK_SWITCH
78c2ecf20Sopenharmony_ci
88c2ecf20Sopenharmony_ci#endif /* _S390_VTIME_H */
9