Searched refs:hpet_dev_map (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/lib/libc/x86/sys/
H A D__vdso_gettc.c114 static char *hpet_dev_map = NULL; variable
138 hpet_dev_map = MAP_FAILED;
141 if (hpet_dev_map != NULL && hpet_dev_map != MAP_FAILED)
142 munmap(hpet_dev_map, PAGE_SIZE);
143 hpet_dev_map = mmap(NULL, PAGE_SIZE, PROT_READ, MAP_SHARED, fd, 0);
160 if (hpet_dev_map == NULL || tmp != hpet_idx) {
164 if (hpet_dev_map == MAP_FAILED)
166 *tc = *(volatile uint32_t *)(hpet_dev_map + HPET_MAIN_COUNTER);

Completed in 34 milliseconds