add dts config

hc

2023-12-06 08f87f769b595151be1afeff53e144f543faa614

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