1 // SPDX-License-Identifier: GPL-2.0-only
2 /*
3 * Kernel-based Virtual Machine driver for Linux
4 *
5 * Copyright 2016 Red Hat, Inc. and/or its affiliates.
6 */
7 #include <linux/kvm_host.h>
8 #include <linux/debugfs.h>
9 #include "lapic.h"
10
vcpu_get_timer_advance_ns(void * data,u64 * val)11 static int vcpu_get_timer_advance_ns(void *data, u64 *val)
12 {
13 struct kvm_vcpu *vcpu = (struct kvm_vcpu *) data;
14 *val = vcpu->arch.apic->lapic_timer.timer_advance_ns;
15 return 0;
16 }
17
18 DEFINE_SIMPLE_ATTRIBUTE(vcpu_timer_advance_ns_fops, vcpu_get_timer_advance_ns, NULL, "%llu\n");
19
vcpu_get_tsc_offset(void * data,u64 * val)20 static int vcpu_get_tsc_offset(void *data, u64 *val)
21 {
22 struct kvm_vcpu *vcpu = (struct kvm_vcpu *) data;
23 *val = vcpu->arch.tsc_offset;
24 return 0;
25 }
26
27 DEFINE_SIMPLE_ATTRIBUTE(vcpu_tsc_offset_fops, vcpu_get_tsc_offset, NULL, "%lld\n");
28
vcpu_get_tsc_scaling_ratio(void * data,u64 * val)29 static int vcpu_get_tsc_scaling_ratio(void *data, u64 *val)
30 {
31 struct kvm_vcpu *vcpu = (struct kvm_vcpu *) data;
32 *val = vcpu->arch.tsc_scaling_ratio;
33 return 0;
34 }
35
36 DEFINE_SIMPLE_ATTRIBUTE(vcpu_tsc_scaling_fops, vcpu_get_tsc_scaling_ratio, NULL, "%llu\n");
37
vcpu_get_tsc_scaling_frac_bits(void * data,u64 * val)38 static int vcpu_get_tsc_scaling_frac_bits(void *data, u64 *val)
39 {
40 *val = kvm_tsc_scaling_ratio_frac_bits;
41 return 0;
42 }
43
44 DEFINE_SIMPLE_ATTRIBUTE(vcpu_tsc_scaling_frac_fops, vcpu_get_tsc_scaling_frac_bits, NULL, "%llu\n");
45
kvm_arch_create_vcpu_debugfs(struct kvm_vcpu * vcpu)46 void kvm_arch_create_vcpu_debugfs(struct kvm_vcpu *vcpu)
47 {
48 debugfs_create_file("tsc-offset", 0444, vcpu->debugfs_dentry, vcpu,
49 &vcpu_tsc_offset_fops);
50
51 if (lapic_in_kernel(vcpu))
52 debugfs_create_file("lapic_timer_advance_ns", 0444,
53 vcpu->debugfs_dentry, vcpu,
54 &vcpu_timer_advance_ns_fops);
55
56 if (kvm_has_tsc_control) {
57 debugfs_create_file("tsc-scaling-ratio", 0444,
58 vcpu->debugfs_dentry, vcpu,
59 &vcpu_tsc_scaling_fops);
60 debugfs_create_file("tsc-scaling-ratio-frac-bits", 0444,
61 vcpu->debugfs_dentry, vcpu,
62 &vcpu_tsc_scaling_frac_fops);
63 }
64 }
65