osfmk/i386/hpet.c

69 vm_offset_t hpetArea = 0;
156     core->Hpet = (hpetTimer_t *)((uint8_t *)hpetArea + hpetReq.hpetOffset);
228 	hpetArea = io_map_spec(hpetAreap & -4096, PAGE_SIZE * 4, VM_WIMG_IO);
229 	kprintf("HPET: vaddr = %lX, paddr = %08X\n", (unsigned long)hpetArea, hpetAreap);
236 	hpetFemto = (uint32_t)(((hpetReg_t *)hpetArea)->GCAP_ID >> 32);
310     info->rcbaArea   = hpetArea;
349 	hpetVaddr = (uint64_t *)(((uintptr_t)&(((hpetReg_t *)hpetArea)->TIM1_CONF)) + (cpu << 5));
409 	hpetReg_t	*from = (hpetReg_t *) hpetArea;
426 	hpetReg_t	*to = (hpetReg_t *) hpetArea;
461 	hpetReg_t		*hpetp = (hpetReg_t *) hpetArea;