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