/*
 * Copyright (c) 2018, Renesas Electronics Corporation. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef MICRO_WAIT_H__
#define MICRO_WAIT_H__

void micro_wait_init(void);
void micro_wait(uint64_t count_us);

#endif /* MICRO_TWAIT_H__ */
