/*
 * Copyright (c) 2022 HPMicro
 *
 * SPDX-License-Identifier: BSD-3-Clause
 *
 */

#ifndef DRV_HWTIMER_H
#define DRV_HWTIMER_H


int rt_hw_hwtimer_init(void);

#endif /* DRV_HWTIMER_H */