/*
 * Copyright (c) 2022, Arm Limited. All rights reserved.
 * Copyright (c) 2023 Cypress Semiconductor Corporation (an Infineon company)
 * or an affiliate of Cypress Semiconductor Corporation. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 *
 */

#ifndef __OS_WRAPPER_DELAY_H__
#define __OS_WRAPPER_DELAY_H__

#ifdef __cplusplus
extern "C" {
#endif

#include "os_wrapper/common.h"

/**
 * \brief Waits for a time period specified in kernel ticks.
 *
 * \return \ref OS_WRAPPER_SUCCESS if the time delay is executed, or
 *         \ref OS_WRAPPER_ERROR in case of error
 */
int32_t os_wrapper_delay(uint32_t ticks);

#ifdef __cplusplus
}
#endif

#endif /* __OS_WRAPPER_DELAY_H__ */