/* SPDX-License-Identifier: GPL-2.0 */
/*
 * Copyright (C) 2019-2021 Intel Corporation
 */
#ifndef _UM_TIME_TRAVEL_H_
#define _UM_TIME_TRAVEL_H_

enum time_travel_mode {
	TT_MODE_OFF,
	TT_MODE_BASIC,
	TT_MODE_INFCPU,
	TT_MODE_EXTERNAL,
};

#if defined(UML_CONFIG_UML_TIME_TRAVEL_SUPPORT) || \
    defined(CONFIG_UML_TIME_TRAVEL_SUPPORT)
extern enum time_travel_mode time_travel_mode;
extern int time_travel_should_print_bc_msg;
#else
#define time_travel_mode TT_MODE_OFF
#define time_travel_should_print_bc_msg 0
#endif /* (UML_)CONFIG_UML_TIME_TRAVEL_SUPPORT */

void _time_travel_print_bc_msg(void);
static inline void time_travel_print_bc_msg(void)
{
	if (time_travel_should_print_bc_msg)
		_time_travel_print_bc_msg();
}

#endif /* _UM_TIME_TRAVEL_H_ */