1 /*
2  * Copyright (c) 2023 Intel Corporation
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #include <zephyr/init.h>
8 #include "soc.h"
9 
10 #if defined(CONFIG_HPET_TIMER)
11 #include "sedi_driver_hpet.h"
12 #endif
13 
intel_ish_init(void)14 static int intel_ish_init(void)
15 {
16 #if defined(CONFIG_HPET_TIMER)
17 	sedi_hpet_set_min_delay(HPET_CMP_MIN_DELAY);
18 #endif
19 
20 	return 0;
21 }
22 
23 SYS_INIT(intel_ish_init, PRE_KERNEL_2, CONFIG_KERNEL_INIT_PRIORITY_DEFAULT);
24