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

/barrelfish-master/lib/libc/x86/sys/
H A D__vdso_gettc.c115 static uint32_t hpet_idx = 0xffffffff; variable
125 u = hpet_idx;
160 if (hpet_dev_map == NULL || tmp != hpet_idx) {
161 hpet_idx = tmp;
162 __vdso_init_hpet(hpet_idx);

Completed in 22 milliseconds