/* | |
* Copyright (c) 2023 Intel Corporation | |
* | |
* SPDX-License-Identifier: Apache-2.0 | |
*/ | |
#include <zephyr/init.h> | |
#include "soc.h" | |
#if defined(CONFIG_HPET_TIMER) | |
#include "sedi_driver_hpet.h" | |
#endif | |
static int intel_ish_init(void) | |
{ | |
#if defined(CONFIG_HPET_TIMER) | |
sedi_hpet_set_min_delay(HPET_CMP_MIN_DELAY); | |
#endif | |
return 0; | |
} | |
SYS_INIT(intel_ish_init, PRE_KERNEL_2, CONFIG_KERNEL_INIT_PRIORITY_DEFAULT); |