kernel.h

/* SPDX-License-Identifier: BSD-3-Clause
 *
 * Copyright(c) 2022 Intel Corporation. All rights reserved.
 *
 * Author: Jyri Sarha <jyri.sarha@intel.com>
 */

#ifndef __POSIX_RTOS_KERNEL_H__
#define __POSIX_RTOS_KERNEL_H__

#include <rtos/wait.h>

#include <stdint.h>

#ifdef __ZEPHYR__
#error "This file should only be included in XTOS builds."
#endif

typedef uint32_t k_ticks_t;

typedef struct {
	k_ticks_t ticks;
} k_timeout_t;

#define Z_TIMEOUT_TICKS(t) ((k_timeout_t) { .ticks = (t) })

#define Z_TIMEOUT_US(t) ((k_timeout_t) { .ticks = clock_us_to_ticks(PLATFORM_DEFAULT_CLOCK, t) })

#define Z_TIMEOUT_MS(t) ((k_timeout_t) { .ticks = clock_ms_to_ticks(PLATFORM_DEFAULT_CLOCK, t) })

struct k_thread;
static inline bool thread_is_userspace(struct k_thread *thread)
{
	return false;
}

static inline void k_sleep(k_timeout_t timeout)
{
	wait_delay(timeout.ticks);
}

static inline void k_msleep(int32_t ms)
{
	wait_delay_ms(ms);
}

static inline void k_usleep(int32_t us)
{
	wait_delay_us(us);
}

struct k_heap {
	int unused;
};

#endif /* __POSIX_RTOS_KERNEL_H__ */