Home
last modified time | relevance | path

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

/xen/xen/arch/x86/pv/
A Ddomain.c439 if ( v->arch.pv.pending_system_time.version && in _toggle_guest_pt()
440 update_secondary_system_time(v, &v->arch.pv.pending_system_time) ) in _toggle_guest_pt()
441 v->arch.pv.pending_system_time.version = 0; in _toggle_guest_pt()
/xen/xen/include/asm-x86/
A Ddomain.h559 struct vcpu_time_info pending_system_time; member
/xen/xen/arch/x86/
A Dtime.c1313 v->arch.pv.pending_system_time = _u; in __update_vcpu_system_time()

Completed in 13 milliseconds