// SPDX-License-Identifier: GPL-2.0-or-later
/*
 * Copyright (c) 2019 Linaro Limited. All rights reserved.
 * Author: Rafael David Tinoco <rafael.tinoco@linaro.org>
 */


#ifndef TST_WALLCLK_H__
#define TST_WALLCLK_H__

void tst_wallclock_save(void);

void tst_wallclock_restore(void);

#endif	/* TST_WALLCLK_H__ */
