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

/barrelfish-2018-10-04/usr/kaluga/
H A Dx86.c31 #define LPC_TIMER_BINARY "lpc_timer" macro
78 struct module_info * mi = find_module(LPC_TIMER_BINARY);
111 printf("Kaluga: Not starting \"%s\", binary not found\n", LPC_TIMER_BINARY);

Completed in 25 milliseconds