/*
 * Copyright (c) 2023, Meta
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#ifndef TESTS_LIB_CLIB_SRC_TEST_THRD_H_
#define TESTS_LIB_CLIB_SRC_TEST_THRD_H_

#include <stdint.h>

#include <zephyr/posix/time.h>
#include <zephyr/sys_clock.h>

/* arbitrary magic numbers used for testing */
#define BIOS_FOOD     0xb105f00d
#define FORTY_TWO     42
#define SEVENTY_THREE 73
#define DONT_CARE     0x370ca2e5

static inline void timespec_add_ms(struct timespec *ts, uint32_t ms)
{
	bool oflow;

	ts->tv_nsec += ms * NSEC_PER_MSEC;
	oflow = ts->tv_nsec >= NSEC_PER_SEC;
	ts->tv_sec += oflow;
	ts->tv_nsec -= oflow * NSEC_PER_SEC;
}

#endif