/*
 * Copyright (c) 2019 Samsung Electronics Co., Ltd. All rights reserved.
 *
 */

#ifndef TZWTIMER_H_
#define TZWTIMER_H_

extern uint64_t systemTime();

#endif /* TZWTIMER_H_ */