Searched refs:hpetTimer_t (Results 1 – 2 of 2) sorted by relevance
155 core->Hpet = (hpetTimer_t *)((uint8_t *)hpetArea + hpetReq.hpetOffset); in hpet_request()325 hpetTimer_t *hpet; in ml_hpet_cfg()350 hpet = (hpetTimer_t *)hpetVaddr; in ml_hpet_cfg()
68 } hpetTimer_t; typedef