1 // SPDX-License-Identifier: GPL-2.0 1 2 /* 3 * Generate definitions needed by assembly lan 4 * This code generates raw asm output which is 5 * and format the required data. 6 */ 7 #define COMPILE_OFFSETS 8 9 #include <linux/kbuild.h> 10 #include "vmx/vmx.h" 11 #include "svm/svm.h" 12 13 static void __used common(void) 14 { 15 if (IS_ENABLED(CONFIG_KVM_AMD)) { 16 BLANK(); 17 OFFSET(SVM_vcpu_arch_regs, vcp 18 OFFSET(SVM_current_vmcb, vcpu_ 19 OFFSET(SVM_spec_ctrl, vcpu_svm 20 OFFSET(SVM_vmcb01, vcpu_svm, v 21 OFFSET(KVM_VMCB_pa, kvm_vmcb_i 22 OFFSET(SD_save_area_pa, svm_cp 23 } 24 25 if (IS_ENABLED(CONFIG_KVM_INTEL)) { 26 BLANK(); 27 OFFSET(VMX_spec_ctrl, vcpu_vmx 28 } 29 } 30
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.