1 /* 2 * svmdebug.h: SVM related debug defintions 3 * Copyright (c) 2011, AMD Corporation. 4 * 5 * This program is free software; you can redistribute it and/or modify it 6 * under the terms and conditions of the GNU General Public License, 7 * version 2, as published by the Free Software Foundation. 8 * 9 * This program is distributed in the hope it will be useful, but WITHOUT 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for 12 * more details. 13 * 14 * You should have received a copy of the GNU General Public License along with 15 * this program; If not, see <http://www.gnu.org/licenses/>. 16 * 17 */ 18 19 #ifndef __ASM_X86_HVM_SVM_SVMDEBUG_H__ 20 #define __ASM_X86_HVM_SVM_SVMDEBUG_H__ 21 22 #include <asm/types.h> 23 #include <asm/hvm/svm/vmcb.h> 24 25 void svm_vmcb_dump(const char *from, const struct vmcb_struct *vmcb); 26 bool svm_vmcb_isvalid(const char *from, const struct vmcb_struct *vmcb, 27 const struct vcpu *v, bool verbose); 28 29 #endif /* __ASM_X86_HVM_SVM_SVMDEBUG_H__ */ 30