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

/barrelfish-master/lib/libc/x86/sys/
H A D__vdso_gettc.c118 __vdso_init_hpet(uint32_t u) function
162 __vdso_init_hpet(hpet_idx);

Completed in 79 milliseconds