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