update_vcpu_system_time (definition) in projects: xen

Searched defs:update_vcpu_system_time (Results 1 – 2 of 2) sorted by relevance

/xen/xen/arch/arm/
A D	time.c	`349 void update_vcpu_system_time(struct vcpu *v) in update_vcpu_system_time() function`
/xen/xen/arch/x86/
A D	time.c	`1346 void update_vcpu_system_time(struct vcpu *v) in update_vcpu_system_time() function`

Completed in 6 milliseconds