start_timing
#define start_timing(vcpu, next) accumulate_time(vcpu, next)
#define start_timing(vcpu, next) do {} while (0)
static inline void start_timing(void)
static inline void start_timing(void)
static void start_timing(void)
static void start_timing(void) { }