Home
last modified time | relevance | path

Searched refs:sedi_hpet_set_main_counter (Results 1 – 2 of 2) sorted by relevance

/hal_intel-3.6.0/bsp_sedi/include/driver/
Dsedi_driver_hpet.h114 void sedi_hpet_set_main_counter(uint64_t value);
/hal_intel-3.6.0/bsp_sedi/drivers/hpet/
Dsedi_hpet.c150 void sedi_hpet_set_main_counter(uint64_t value) in sedi_hpet_set_main_counter() function