Searched refs:watch_for_hpet (Results 1 - 3 of 3) sorted by relevance
/barrelfish-master/usr/kaluga/ | ||
H A D | start_hpet.h | 7 errval_t watch_for_hpet(void); |
H A D | start_hpet.c | 303 errval_t watch_for_hpet(void) { function |
H A D | x86.c | 238 err = watch_for_hpet(); |
Completed in 33 milliseconds