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
11static 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
18DEFINE_SIMPLE_ATTRIBUTE(vcpu_timer_advance_ns_fops, vcpu_get_timer_advance_ns, NULL, "%llu\n");
19
20static 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
27DEFINE_SIMPLE_ATTRIBUTE(vcpu_tsc_offset_fops, vcpu_get_tsc_offset, NULL, "%lld\n");
28
29static 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
36DEFINE_SIMPLE_ATTRIBUTE(vcpu_tsc_scaling_fops, vcpu_get_tsc_scaling_ratio, NULL, "%llu\n");
37
38static 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
44DEFINE_SIMPLE_ATTRIBUTE(vcpu_tsc_scaling_frac_fops, vcpu_get_tsc_scaling_frac_bits, NULL, "%llu\n");
45
46void kvm_arch_create_vcpu_debugfs(struct kvm_vcpu *vcpu, struct dentry *debugfs_dentry)
47{
48	debugfs_create_file("tsc-offset", 0444, 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				    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				    debugfs_dentry, vcpu,
59				    &vcpu_tsc_scaling_fops);
60		debugfs_create_file("tsc-scaling-ratio-frac-bits", 0444,
61				    debugfs_dentry, vcpu,
62				    &vcpu_tsc_scaling_frac_fops);
63	}
64}