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

 1/* SPDX-License-Identifier: GPL-2.0 */
 2/*
 3 * Copyright (C) 2019-2021 Intel Corporation
 4 */
 5#ifndef _UM_TIME_TRAVEL_H_
 6#define _UM_TIME_TRAVEL_H_
 7
 8enum time_travel_mode {
 9	TT_MODE_OFF,
10	TT_MODE_BASIC,
11	TT_MODE_INFCPU,
12	TT_MODE_EXTERNAL,
13};
14
15#if IS_ENABLED(CONFIG_UML_TIME_TRAVEL_SUPPORT)
 
16extern enum time_travel_mode time_travel_mode;
17extern int time_travel_should_print_bc_msg;
18#else
19#define time_travel_mode TT_MODE_OFF
20#define time_travel_should_print_bc_msg 0
21#endif /* CONFIG_UML_TIME_TRAVEL_SUPPORT */
22
23void _time_travel_print_bc_msg(void);
24static inline void time_travel_print_bc_msg(void)
25{
26	if (time_travel_should_print_bc_msg)
27		_time_travel_print_bc_msg();
28}
29
30#endif /* _UM_TIME_TRAVEL_H_ */