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

/barrelfish-2018-10-04/usr/kaluga/
H A Dx86.c76 static errval_t start_lpc_timer(void){ function
180 USER_PANIC_ERR(err, "start_lpc_timer");
197 err = start_lpc_timer();
199 USER_PANIC_ERR(err, "start_lpc_timer");

Completed in 38 milliseconds