1/*-
2 * SPDX-License-Identifier: BSD-2-Clause-FreeBSD
3 *
4 * Copyright (c) 2013 Anish Gupta (akgupt3@gmail.com)
5 * All rights reserved.
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
9 * are met:
10 * 1. Redistributions of source code must retain the above copyright
11 *    notice unmodified, this list of conditions, and the following
12 *    disclaimer.
13 * 2. Redistributions in binary form must reproduce the above copyright
14 *    notice, this list of conditions and the following disclaimer in the
15 *    documentation and/or other materials provided with the distribution.
16 *
17 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 *
28 * $FreeBSD$
29 */
30
31#ifndef _SVM_H_
32#define _SVM_H_
33
34struct pcpu;
35
36/*
37 * Guest register state that is saved outside the VMCB.
38 */
39struct svm_regctx {
40	register_t	sctx_rbp;
41	register_t	sctx_rbx;
42	register_t	sctx_rcx;
43	register_t	sctx_rdx;
44	register_t	sctx_rdi;
45	register_t	sctx_rsi;
46	register_t	sctx_r8;
47	register_t	sctx_r9;
48	register_t	sctx_r10;
49	register_t	sctx_r11;
50	register_t	sctx_r12;
51	register_t	sctx_r13;
52	register_t	sctx_r14;
53	register_t	sctx_r15;
54	register_t	sctx_dr0;
55	register_t	sctx_dr1;
56	register_t	sctx_dr2;
57	register_t	sctx_dr3;
58
59	register_t	host_dr0;
60	register_t	host_dr1;
61	register_t	host_dr2;
62	register_t	host_dr3;
63	register_t	host_dr6;
64	register_t	host_dr7;
65	uint64_t	host_debugctl;
66};
67
68void svm_launch(uint64_t pa, struct svm_regctx *gctx, struct pcpu *pcpu);
69
70#endif /* _SVM_H_ */
71