lib/libsys/x86/__vdso_gettc.c

426

*tc = *(volatile uint32_t *)(map + HPET_MAIN_COUNTER);

sys/amd64/vmm/io/vhpet.c

554

if (offset == HPET_MAIN_COUNTER || offset == HPET_MAIN_COUNTER + 4) {

sys/amd64/vmm/io/vhpet.c

665

if (offset == HPET_MAIN_COUNTER || offset == HPET_MAIN_COUNTER + 4) {

sys/dev/acpica/acpi_hpet.c

143

return (bus_read_4(sc->mem_res, HPET_MAIN_COUNTER));

sys/dev/acpica/acpi_hpet.c

227

now = bus_read_4(sc->mem_res, HPET_MAIN_COUNTER);

sys/dev/acpica/acpi_hpet.c

245

now = bus_read_4(sc->mem_res, HPET_MAIN_COUNTER);

sys/dev/acpica/acpi_hpet.c

292

t->next = bus_read_4(sc->mem_res, HPET_MAIN_COUNTER) +

sys/dev/acpica/acpi_hpet.c

302

now = bus_read_4(sc->mem_res, HPET_MAIN_COUNTER);

sys/dev/acpica/acpi_hpet.c

576

val = bus_read_4(sc->mem_res, HPET_MAIN_COUNTER);

sys/dev/acpica/acpi_hpet.c

578

val2 = bus_read_4(sc->mem_res, HPET_MAIN_COUNTER);

sys/dev/acpica/acpi_hpet.c

906

t->next = bus_read_4(sc->mem_res, HPET_MAIN_COUNTER);

sys/dev/acpica/acpi_hpet.c

941

u1 = bus_read_4(sc->mem_res, HPET_MAIN_COUNTER);

sys/dev/acpica/acpi_hpet.c

943

u2 = bus_read_4(sc->mem_res, HPET_MAIN_COUNTER);

sys/dev/acpica/acpi_hpet.c

945

u2 = bus_read_4(sc->mem_res, HPET_MAIN_COUNTER);