From: Grygorii Strashko <[email protected]> The hvm_set_guest_time() is used only inside vpt.c, so make it static.
Signed-off-by: Grygorii Strashko <[email protected]> --- xen/arch/x86/hvm/vpt.c | 2 +- xen/arch/x86/include/asm/hvm/hvm.h | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/xen/arch/x86/hvm/vpt.c b/xen/arch/x86/hvm/vpt.c index 4d8683064479..50ed7389985a 100644 --- a/xen/arch/x86/hvm/vpt.c +++ b/xen/arch/x86/hvm/vpt.c @@ -48,7 +48,7 @@ uint64_t hvm_get_guest_time_fixed(const struct vcpu *v, uint64_t at_tsc) return now + v->arch.hvm.stime_offset; } -void hvm_set_guest_time(struct vcpu *v, u64 guest_time) +static void hvm_set_guest_time(struct vcpu *v, u64 guest_time) { u64 offset = guest_time - hvm_get_guest_time(v); diff --git a/xen/arch/x86/include/asm/hvm/hvm.h b/xen/arch/x86/include/asm/hvm/hvm.h index f02183691ea6..838ad5b59eb0 100644 --- a/xen/arch/x86/include/asm/hvm/hvm.h +++ b/xen/arch/x86/include/asm/hvm/hvm.h @@ -287,7 +287,6 @@ u64 hvm_scale_tsc(const struct domain *d, u64 tsc); u64 hvm_get_tsc_scaling_ratio(u32 gtsc_khz); void hvm_init_guest_time(struct domain *d); -void hvm_set_guest_time(struct vcpu *v, u64 guest_time); uint64_t hvm_get_guest_time_fixed(const struct vcpu *v, uint64_t at_tsc); int vmsi_deliver( -- 2.34.1
