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