1 // SPDX-License-Identifier: GPL-2.0-only
3 * Kernel-based Virtual Machine driver for Linux
5 * Copyright 2016 Red Hat, Inc. and/or its affiliates.
7 #include <linux/kvm_host.h>
8 #include <linux/debugfs.h>
11 bool kvm_arch_has_vcpu_debugfs(void)
16 static int vcpu_get_timer_advance_ns(void *data, u64 *val)
18 struct kvm_vcpu *vcpu = (struct kvm_vcpu *) data;
19 *val = vcpu->arch.apic->lapic_timer.timer_advance_ns;
23 DEFINE_SIMPLE_ATTRIBUTE(vcpu_timer_advance_ns_fops, vcpu_get_timer_advance_ns, NULL, "%llu\n");
25 static int vcpu_get_tsc_offset(void *data, u64 *val)
27 struct kvm_vcpu *vcpu = (struct kvm_vcpu *) data;
28 *val = vcpu->arch.tsc_offset;
32 DEFINE_SIMPLE_ATTRIBUTE(vcpu_tsc_offset_fops, vcpu_get_tsc_offset, NULL, "%lld\n");
34 static int vcpu_get_tsc_scaling_ratio(void *data, u64 *val)
36 struct kvm_vcpu *vcpu = (struct kvm_vcpu *) data;
37 *val = vcpu->arch.tsc_scaling_ratio;
41 DEFINE_SIMPLE_ATTRIBUTE(vcpu_tsc_scaling_fops, vcpu_get_tsc_scaling_ratio, NULL, "%llu\n");
43 static int vcpu_get_tsc_scaling_frac_bits(void *data, u64 *val)
45 *val = kvm_tsc_scaling_ratio_frac_bits;
49 DEFINE_SIMPLE_ATTRIBUTE(vcpu_tsc_scaling_frac_fops, vcpu_get_tsc_scaling_frac_bits, NULL, "%llu\n");
51 int kvm_arch_create_vcpu_debugfs(struct kvm_vcpu *vcpu)
55 ret = debugfs_create_file("tsc-offset", 0444,
57 vcpu, &vcpu_tsc_offset_fops);
61 if (lapic_in_kernel(vcpu)) {
62 ret = debugfs_create_file("lapic_timer_advance_ns", 0444,
64 vcpu, &vcpu_timer_advance_ns_fops);
69 if (kvm_has_tsc_control) {
70 ret = debugfs_create_file("tsc-scaling-ratio", 0444,
72 vcpu, &vcpu_tsc_scaling_fops);
75 ret = debugfs_create_file("tsc-scaling-ratio-frac-bits", 0444,
77 vcpu, &vcpu_tsc_scaling_frac_fops);