Searched refs:sedi_hpet_get_int_status (Results 1 – 2 of 2) sorted by relevance
140 uint32_t sedi_hpet_get_int_status(void);
255 uint32_t sedi_hpet_get_int_status(void) in sedi_hpet_get_int_status() function