Searched refs:hpetArea (Results 1 – 1 of 1) sorted by relevance
68 vm_offset_t hpetArea = 0; variable155 core->Hpet = (hpetTimer_t *)((uint8_t *)hpetArea + hpetReq.hpetOffset); in hpet_request()227 hpetArea = ml_io_map(hpetAreap & -4096, PAGE_SIZE * 4); in hpet_init()228 kprintf("HPET: vaddr = %lX, paddr = %08X\n", (unsigned long)hpetArea, hpetAreap); in hpet_init()235 hpetFemto = (uint32_t)(((hpetReg_t *)hpetArea)->GCAP_ID >> 32); in hpet_init()309 info->rcbaArea = hpetArea; in hpet_get_info()349 hpetVaddr = (uint64_t *)(((uintptr_t)&(((hpetReg_t *)hpetArea)->TIM1_CONF)) + (cpu << 5)); in ml_hpet_cfg()408 hpetReg_t *from = (hpetReg_t *) hpetArea; in hpet_save()425 hpetReg_t *to = (hpetReg_t *) hpetArea; in hpet_restore()460 hpetReg_t *hpetp = (hpetReg_t *) hpetArea; in rdHPET()