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