| /* | |
| * Kernel-based Virtual Machine driver for Linux | |
| * | |
| * Copyright 2016 Red Hat, Inc. and/or its affiliates. | |
| * | |
| * This work is licensed under the terms of the GNU GPL, version 2. See | |
| * the COPYING file in the top-level directory. | |
| * | |
| */ | |
| #include <linux/kvm_host.h> | |
| #include <linux/debugfs.h> | |
| bool kvm_arch_has_vcpu_debugfs(void) | |
| { | |
| return true; | |
| } | |
| static int vcpu_get_tsc_offset(void *data, u64 *val) | |
| { | |
| struct kvm_vcpu *vcpu = (struct kvm_vcpu *) data; | |
| *val = vcpu->arch.tsc_offset; | |
| return 0; | |
| } | |
| DEFINE_SIMPLE_ATTRIBUTE(vcpu_tsc_offset_fops, vcpu_get_tsc_offset, NULL, "%lld\n"); | |
| static int vcpu_get_tsc_scaling_ratio(void *data, u64 *val) | |
| { | |
| struct kvm_vcpu *vcpu = (struct kvm_vcpu *) data; | |
| *val = vcpu->arch.tsc_scaling_ratio; | |
| return 0; | |
| } | |
| DEFINE_SIMPLE_ATTRIBUTE(vcpu_tsc_scaling_fops, vcpu_get_tsc_scaling_ratio, NULL, "%llu\n"); | |
| static int vcpu_get_tsc_scaling_frac_bits(void *data, u64 *val) | |
| { | |
| *val = kvm_tsc_scaling_ratio_frac_bits; | |
| return 0; | |
| } | |
| DEFINE_SIMPLE_ATTRIBUTE(vcpu_tsc_scaling_frac_fops, vcpu_get_tsc_scaling_frac_bits, NULL, "%llu\n"); | |
| int kvm_arch_create_vcpu_debugfs(struct kvm_vcpu *vcpu) | |
| { | |
| struct dentry *ret; | |
| ret = debugfs_create_file("tsc-offset", 0444, | |
| vcpu->debugfs_dentry, | |
| vcpu, &vcpu_tsc_offset_fops); | |
| if (!ret) | |
| return -ENOMEM; | |
| if (kvm_has_tsc_control) { | |
| ret = debugfs_create_file("tsc-scaling-ratio", 0444, | |
| vcpu->debugfs_dentry, | |
| vcpu, &vcpu_tsc_scaling_fops); | |
| if (!ret) | |
| return -ENOMEM; | |
| ret = debugfs_create_file("tsc-scaling-ratio-frac-bits", 0444, | |
| vcpu->debugfs_dentry, | |
| vcpu, &vcpu_tsc_scaling_frac_fops); | |
| if (!ret) | |
| return -ENOMEM; | |
| } | |
| return 0; | |
| } |