1*33c7d061SJohannes Berg /* SPDX-License-Identifier: GPL-2.0 */
2*33c7d061SJohannes Berg /*
3*33c7d061SJohannes Berg  * Copyright (C) 2019-2021 Intel Corporation
4*33c7d061SJohannes Berg  */
5*33c7d061SJohannes Berg #ifndef _UM_TIME_TRAVEL_H_
6*33c7d061SJohannes Berg #define _UM_TIME_TRAVEL_H_
7*33c7d061SJohannes Berg 
8*33c7d061SJohannes Berg enum time_travel_mode {
9*33c7d061SJohannes Berg 	TT_MODE_OFF,
10*33c7d061SJohannes Berg 	TT_MODE_BASIC,
11*33c7d061SJohannes Berg 	TT_MODE_INFCPU,
12*33c7d061SJohannes Berg 	TT_MODE_EXTERNAL,
13*33c7d061SJohannes Berg };
14*33c7d061SJohannes Berg 
15*33c7d061SJohannes Berg #if defined(UML_CONFIG_UML_TIME_TRAVEL_SUPPORT) || \
16*33c7d061SJohannes Berg     defined(CONFIG_UML_TIME_TRAVEL_SUPPORT)
17*33c7d061SJohannes Berg extern enum time_travel_mode time_travel_mode;
18*33c7d061SJohannes Berg #else
19*33c7d061SJohannes Berg #define time_travel_mode TT_MODE_OFF
20*33c7d061SJohannes Berg #endif /* (UML_)CONFIG_UML_TIME_TRAVEL_SUPPORT */
21*33c7d061SJohannes Berg 
22*33c7d061SJohannes Berg #endif /* _UM_TIME_TRAVEL_H_ */
23