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