arch/x86/kvm/debugfs.c

   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
  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
  20 static int vcpu_get_guest_mode(void *data, u64 *val)
  21 {
  22         struct kvm_vcpu *vcpu = (struct kvm_vcpu *) data;
  23         *val = vcpu->stat.guest_mode;
  24         return 0;
  25 }
  26
  27 DEFINE_SIMPLE_ATTRIBUTE(vcpu_guest_mode_fops, vcpu_get_guest_mode, NULL, "%lld\n");
  28
  29 static int vcpu_get_tsc_offset(void *data, u64 *val)
  30 {
  31         struct kvm_vcpu *vcpu = (struct kvm_vcpu *) data;
  32         *val = vcpu->arch.tsc_offset;
  33         return 0;
  34 }
  35
  36 DEFINE_SIMPLE_ATTRIBUTE(vcpu_tsc_offset_fops, vcpu_get_tsc_offset, NULL, "%lld\n");
  37
  38 static int vcpu_get_tsc_scaling_ratio(void *data, u64 *val)
  39 {
  40         struct kvm_vcpu *vcpu = (struct kvm_vcpu *) data;
  41         *val = vcpu->arch.tsc_scaling_ratio;
  42         return 0;
  43 }
  44
  45 DEFINE_SIMPLE_ATTRIBUTE(vcpu_tsc_scaling_fops, vcpu_get_tsc_scaling_ratio, NULL, "%llu\n");
  46
  47 static int vcpu_get_tsc_scaling_frac_bits(void *data, u64 *val)
  48 {
  49         *val = kvm_tsc_scaling_ratio_frac_bits;
  50         return 0;
  51 }
  52
  53 DEFINE_SIMPLE_ATTRIBUTE(vcpu_tsc_scaling_frac_fops, vcpu_get_tsc_scaling_frac_bits, NULL, "%llu\n");
  54
  55 void kvm_arch_create_vcpu_debugfs(struct kvm_vcpu *vcpu, struct dentry *debugfs_dentry)
  56 {
  57         debugfs_create_file("guest_mode", 0444, debugfs_dentry, vcpu,
  58                             &vcpu_guest_mode_fops);
  59         debugfs_create_file("tsc-offset", 0444, debugfs_dentry, vcpu,
  60                             &vcpu_tsc_offset_fops);
  61
  62         if (lapic_in_kernel(vcpu))
  63                 debugfs_create_file("lapic_timer_advance_ns", 0444,
  64                                     debugfs_dentry, vcpu,
  65                                     &vcpu_timer_advance_ns_fops);
  66
  67         if (kvm_has_tsc_control) {
  68                 debugfs_create_file("tsc-scaling-ratio", 0444,
  69                                     debugfs_dentry, vcpu,
  70                                     &vcpu_tsc_scaling_fops);
  71                 debugfs_create_file("tsc-scaling-ratio-frac-bits", 0444,
  72                                     debugfs_dentry, vcpu,
  73                                     &vcpu_tsc_scaling_frac_fops);
  74         }
  75 }