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

#ifndef __SOC_H_
#define __SOC_H_

#include <zephyr/sys/util.h>

#ifndef _ASMLANGUAGE
#include <zephyr/device.h>
#include <zephyr/random/rand32.h>

#ifdef CONFIG_HPET_TIMER
#include "sedi_driver_hpet.h"

#define HPET_USE_CUSTOM_REG_ACCESS_FUNCS

/* COUNTER_CLK_PERIOD (CLK_PERIOD_REG) is in picoseconds (1e-12 sec) */
#define HPET_COUNTER_CLK_PERIOD		(1000000000000ULL)

#define HPET_CMP_MIN_DELAY		(5)

__pinned_func
static inline void hpet_timer_comparator_set(uint64_t next)
{
	sedi_hpet_set_comparator(HPET_0, next);
}

#endif  /*CONFIG_HPET_TIMER */

#endif  /* !_ASMLANGUAGE */

/* ISH specific DMA channel direction */
#define IMR_TO_MEMORY (DMA_CHANNEL_DIRECTION_PRIV_START)
#define MEMORY_TO_IMR (DMA_CHANNEL_DIRECTION_PRIV_START + 1)

#endif /* __SOC_H_ */