__update_vcpu_system_time (reference) in projects: xen

Searched refs:__update_vcpu_system_time (Results 1 – 1 of 1) sorted by relevance

/xen/xen/arch/x86/
A D	time.c	`1234 static void __update_vcpu_system_time(struct vcpu *v, int force) in __update_vcpu_system_time() function 1348 __update_vcpu_system_time(v, 0); in update_vcpu_system_time() 1353 __update_vcpu_system_time(v, 1); in force_update_vcpu_system_time()`

Completed in 6 milliseconds