LXR linux/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
  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}
  65