Searched refs:vtimer_initialized (Results 1 – 2 of 2) sorted by relevance
126 v->arch.vtimer_initialized = 1; in vcpu_vtimer_init()133 if ( !v->arch.vtimer_initialized ) in vcpu_timer_destroy()
288 bool vtimer_initialized; member
Completed in 4 milliseconds