Home
last modified time | relevance | path

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

/xen/xen/arch/ppc/include/asm/
A Dtime.h12 static inline void force_update_vcpu_system_time(struct vcpu *v) { in force_update_vcpu_system_time() function
/xen/xen/arch/riscv/include/asm/
A Dtime.h10 static inline void force_update_vcpu_system_time(struct vcpu *v) in force_update_vcpu_system_time() function
/xen/xen/arch/arm/include/asm/
A Dtime.h109 void force_update_vcpu_system_time(struct vcpu *v);
/xen/xen/arch/x86/include/asm/
A Dtime.h51 void force_update_vcpu_system_time(struct vcpu *v);
/xen/xen/arch/x86/x86_64/
A Ddomain.c111 force_update_vcpu_system_time(v); in compat_vcpu_op()
/xen/xen/arch/arm/
A Dtime.c363 void force_update_vcpu_system_time(struct vcpu *v) in force_update_vcpu_system_time() function
/xen/xen/common/
A Ddomain.c1635 force_update_vcpu_system_time(v); in map_guest_area()
/xen/xen/arch/x86/
A Dtime.c1699 void force_update_vcpu_system_time(struct vcpu *v) in force_update_vcpu_system_time() function
A Ddomain.c1613 force_update_vcpu_system_time(v); in do_vcpu_op()

Completed in 42 milliseconds