Searched refs:HPET_MAIN_COUNTER (Results 1 – 4 of 4) sorted by relevance
| /freebsd-11-stable/sys/dev/acpica/ |
| HD | acpi_hpet.c | 147 return (bus_read_4(sc->mem_res, HPET_MAIN_COUNTER)); in hpet_get_timecount() 226 now = bus_read_4(sc->mem_res, HPET_MAIN_COUNTER); in hpet_start() 244 now = bus_read_4(sc->mem_res, HPET_MAIN_COUNTER); in hpet_start() 291 t->next = bus_read_4(sc->mem_res, HPET_MAIN_COUNTER) + in hpet_intr_single() 301 now = bus_read_4(sc->mem_res, HPET_MAIN_COUNTER); in hpet_intr_single() 559 val = bus_read_4(sc->mem_res, HPET_MAIN_COUNTER); in hpet_attach() 561 val2 = bus_read_4(sc->mem_res, HPET_MAIN_COUNTER); in hpet_attach() 888 t->next = bus_read_4(sc->mem_res, HPET_MAIN_COUNTER); in hpet_resume() 923 u1 = bus_read_4(sc->mem_res, HPET_MAIN_COUNTER); in hpet_test() 925 u2 = bus_read_4(sc->mem_res, HPET_MAIN_COUNTER); in hpet_test() [all …]
|
| HD | acpi_hpet.h | 46 #define HPET_MAIN_COUNTER 0xf0 /* Main counter register */ macro
|
| /freebsd-11-stable/sys/amd64/vmm/io/ |
| HD | vhpet.c | 552 if (offset == HPET_MAIN_COUNTER || offset == HPET_MAIN_COUNTER + 4) { in vhpet_mmio_write() 663 if (offset == HPET_MAIN_COUNTER || offset == HPET_MAIN_COUNTER + 4) { in vhpet_mmio_read()
|
| /freebsd-11-stable/lib/libc/x86/sys/ |
| HD | __vdso_gettc.c | 313 *tc = *(volatile uint32_t *)(map + HPET_MAIN_COUNTER); in __vdso_gettc()
|