// 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__ */ |