1 /*
2  * Copyright (C) 2021 Intel Corporation.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef HW_TIMER_H
8 #define HW_TIMER_H
9 
10 #include <types.h>
11 
12 void set_hw_timeout(uint64_t timeout);
13 void init_hw_timer(void);
14 
15 #endif
16