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