Searched refs:set_vtimer (Results 1 – 1 of 1) sorted by relevance
40 static inline void set_vtimer(u64 expires) in set_vtimer() function378 set_vtimer(VTIMER_MAX_SLICE); in vtime_init()