Searched refs:hpetVaddr (Results 1 – 1 of 1) sorted by relevance
325 uint64_t *hpetVaddr; in ml_hpet_cfg() local350 hpetVaddr = (uint64_t *)(((uintptr_t)&(((hpetReg_t *)hpetArea)->TIM1_CONF)) + (cpu << 5)); in ml_hpet_cfg()351 hpet = (hpetTimer_t *)hpetVaddr; in ml_hpet_cfg()354 cpu, hpetVaddr, hpetVect); in ml_hpet_cfg()