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