Searched refs:SEDI_REG_GET (Results 1 – 2 of 2) sorted by relevance
| /hal_intel-3.5.0/bsp_sedi/drivers/hpet/ |
| D | sedi_hpet.c | 65 while (SEDI_REG_GET(HPET, HPET_CTRL_STS) & bits) in wait_for_idle()
162 highBits = SEDI_REG_GET(HPET, MCV_HIGH); in sedi_hpet_get_main_counter()
163 lowBits = SEDI_REG_GET(HPET, MCV_LOW); in sedi_hpet_get_main_counter()
164 } while (highBits != SEDI_REG_GET(HPET, MCV_HIGH)); in sedi_hpet_get_main_counter()
220 SEDI_REG_SET(HPET, GIS_LOW, SEDI_REG_GET(HPET, GIS_LOW)); in sedi_hpet_init()
249 return SEDI_REG_GET(HPET, GIS_LOW); in sedi_hpet_get_int_status()
260 if (!(SEDI_REG_GET(HPET, GIS_LOW) & BIT(timer_id))) in sedi_hpet_timer_int_handler()
|
| /hal_intel-3.5.0/bsp_sedi/soc/common/include/ |
| D | sedi_reg_defs.h | 180 #define SEDI_REG_GET(_comp, _reg) SEDI_PREG_GET(_comp, _reg, SEDI_REG_PTR(_comp, _reg)) macro
|
