palacios/include/palacios/svm_handler.h

   1 /*
   2  * This file is part of the Palacios Virtual Machine Monitor developed
   3  * by the V3VEE Project with funding from the United States National
   4  * Science Foundation and the Department of Energy.
   5  *
   6  * The V3VEE Project is a joint project between Northwestern University
   7  * and the University of New Mexico.  You can find out more at
   8  * http://www.v3vee.org
   9  *
  10  * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
  11  * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org>
  12  * All rights reserved.
  13  *
  14  * Author: Jack Lange <jarusl@cs.northwestern.edu>
  15  *
  16  * This is free software.  You are permitted to use,
  17  * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
  18  */
  19
  20 #ifndef __SVM_HANDLER_H
  21 #define __SVM_HANDLER_H
  22
  23 #ifdef __V3VEE__
  24
  25 #include <palacios/svm.h>
  26 #include <palacios/vmcb.h>
  27 #include <palacios/vmm.h>
  28
  29
  30
  31 /******************************************/
  32 /* SVM Intercept Exit Codes               */
  33 /* AMD Arch Vol 3, Appendix C, pg 477-478 */
  34 /******************************************/
  35 #define VMEXIT_CR_READ_MASK 0xfffffff0
  36 #define VMEXIT_CR0_READ   0x00000000
  37 #define VMEXIT_CR1_READ   0x00000001
  38 #define VMEXIT_CR2_READ   0x00000002
  39 #define VMEXIT_CR3_READ   0x00000003
  40 #define VMEXIT_CR4_READ   0x00000004
  41 #define VMEXIT_CR5_READ   0x00000005
  42 #define VMEXIT_CR6_READ   0x00000006
  43 #define VMEXIT_CR7_READ   0x00000007
  44 #define VMEXIT_CR8_READ   0x00000008
  45 #define VMEXIT_CR9_READ   0x00000009
  46 #define VMEXIT_CR10_READ  0x0000000a
  47 #define VMEXIT_CR11_READ  0x0000000b
  48 #define VMEXIT_CR12_READ  0x0000000c
  49 #define VMEXIT_CR13_READ  0x0000000d
  50 #define VMEXIT_CR14_READ  0x0000000e
  51 #define VMEXIT_CR15_READ  0x0000000f
  52
  53 #define VMEXIT_CR_WRITE_MASK 0xffffffe0
  54 #define VMEXIT_CR0_WRITE   0x00000010
  55 #define VMEXIT_CR1_WRITE   0x00000011
  56 #define VMEXIT_CR2_WRITE   0x00000012
  57 #define VMEXIT_CR3_WRITE   0x00000013
  58 #define VMEXIT_CR4_WRITE   0x00000014
  59 #define VMEXIT_CR5_WRITE   0x00000015
  60 #define VMEXIT_CR6_WRITE   0x00000016
  61 #define VMEXIT_CR7_WRITE   0x00000017
  62 #define VMEXIT_CR8_WRITE   0x00000018
  63 #define VMEXIT_CR9_WRITE   0x00000019
  64 #define VMEXIT_CR10_WRITE  0x0000001a
  65 #define VMEXIT_CR11_WRITE  0x0000001b
  66 #define VMEXIT_CR12_WRITE  0x0000001c
  67 #define VMEXIT_CR13_WRITE  0x0000001d
  68 #define VMEXIT_CR14_WRITE  0x0000001e
  69 #define VMEXIT_CR15_WRITE  0x0000001f
  70
  71 #define VMEXIT_DR_READ_MASK 0xffffffd0
  72 #define VMEXIT_DR0_READ   0x00000020
  73 #define VMEXIT_DR1_READ   0x00000021
  74 #define VMEXIT_DR2_READ   0x00000022
  75 #define VMEXIT_DR3_READ   0x00000023
  76 #define VMEXIT_DR4_READ   0x00000024
  77 #define VMEXIT_DR5_READ   0x00000025
  78 #define VMEXIT_DR6_READ   0x00000026
  79 #define VMEXIT_DR7_READ   0x00000027
  80 #define VMEXIT_DR8_READ   0x00000028
  81 #define VMEXIT_DR9_READ   0x00000029
  82 #define VMEXIT_DR10_READ  0x0000002a
  83 #define VMEXIT_DR11_READ  0x0000002b
  84 #define VMEXIT_DR12_READ  0x0000002c
  85 #define VMEXIT_DR13_READ  0x0000002d
  86 #define VMEXIT_DR14_READ  0x0000002e
  87 #define VMEXIT_DR15_READ  0x0000002f
  88
  89 #define VMEXIT_DR_WRITE_MASK     0xffffffc0
  90 #define VMEXIT_DR0_WRITE   0x00000030 // ? this was previously 3f
  91 #define VMEXIT_DR1_WRITE   0x00000031
  92 #define VMEXIT_DR2_WRITE   0x00000032
  93 #define VMEXIT_DR3_WRITE   0x00000033
  94 #define VMEXIT_DR4_WRITE   0x00000034
  95 #define VMEXIT_DR5_WRITE   0x00000035
  96 #define VMEXIT_DR6_WRITE   0x00000036
  97 #define VMEXIT_DR7_WRITE   0x00000037
  98 #define VMEXIT_DR8_WRITE   0x00000038
  99 #define VMEXIT_DR9_WRITE   0x00000039
 100 #define VMEXIT_DR10_WRITE  0x0000003a
 101 #define VMEXIT_DR11_WRITE  0x0000003b
 102 #define VMEXIT_DR12_WRITE  0x0000003c
 103 #define VMEXIT_DR13_WRITE  0x0000003d
 104 #define VMEXIT_DR14_WRITE  0x0000003e
 105 #define VMEXIT_DR15_WRITE  0x0000003f
 106
 107 #define VMEXIT_EXCP_MASK   0xffffffa0
 108 #define VMEXIT_EXCP0       0x00000040
 109 #define VMEXIT_EXCP1       0x00000041
 110 #define VMEXIT_EXCP2       0x00000042
 111 #define VMEXIT_EXCP3       0x00000043
 112 #define VMEXIT_EXCP4       0x00000044
 113 #define VMEXIT_EXCP5       0x00000045
 114 #define VMEXIT_EXCP6       0x00000046
 115 #define VMEXIT_EXCP7       0x00000047
 116 #define VMEXIT_EXCP8       0x00000048
 117 #define VMEXIT_EXCP9       0x00000049
 118 #define VMEXIT_EXCP10      0x0000004a
 119 #define VMEXIT_EXCP11      0x0000004b
 120 #define VMEXIT_EXCP12      0x0000004c
 121 #define VMEXIT_EXCP13      0x0000004d
 122 #define VMEXIT_EXCP14      0x0000004e
 123 #define VMEXIT_EXCP15      0x0000004f
 124 #define VMEXIT_EXCP16      0x00000050
 125 #define VMEXIT_EXCP17      0x00000051
 126 #define VMEXIT_EXCP18      0x00000052
 127 #define VMEXIT_EXCP19      0x00000053
 128 #define VMEXIT_EXCP20      0x00000054
 129 #define VMEXIT_EXCP21      0x00000055
 130 #define VMEXIT_EXCP22      0x00000056
 131 #define VMEXIT_EXCP23      0x00000057
 132 #define VMEXIT_EXCP24      0x00000058
 133 #define VMEXIT_EXCP25      0x00000059
 134 #define VMEXIT_EXCP26      0x0000005a
 135 #define VMEXIT_EXCP27      0x0000005b
 136 #define VMEXIT_EXCP28      0x0000005c
 137 #define VMEXIT_EXCP29      0x0000005d
 138 #define VMEXIT_EXCP30      0x0000005e
 139 #define VMEXIT_EXCP31      0x0000005f
 140
 141
 142 #define VMEXIT_INTR                 0x00000060
 143 #define VMEXIT_NMI                  0x00000061
 144 #define VMEXIT_SMI                  0x00000062
 145 #define VMEXIT_INIT                 0x00000063
 146 #define VMEXIT_VINITR               0x00000064
 147 #define VMEXIT_CR0_SEL_WRITE        0x00000065
 148 #define VMEXIT_IDTR_READ            0x00000066
 149 #define VMEXIT_GDTR_READ            0x00000067
 150 #define VMEXIT_LDTR_READ            0x00000068
 151 #define VMEXIT_TR_READ              0x00000069
 152 #define VMEXIT_IDTR_WRITE           0x0000006a
 153 #define VMEXIT_GDTR_WRITE           0x0000006b
 154 #define VMEXIT_LDTR_WRITE           0x0000006c
 155 #define VMEXIT_TR_WRITE             0x0000006d
 156 #define VMEXIT_RDTSC                0x0000006e
 157 #define VMEXIT_RDPMC                0x0000006f
 158 #define VMEXIT_PUSHF                0x00000070
 159 #define VMEXIT_POPF                 0x00000071
 160 #define VMEXIT_CPUID                0x00000072
 161 #define VMEXIT_RSM                  0x00000073
 162 #define VMEXIT_IRET                 0x00000074
 163 #define VMEXIT_SWINT                0x00000075
 164 #define VMEXIT_INVD                 0x00000076
 165 #define VMEXIT_PAUSE                0x00000077
 166 #define VMEXIT_HLT                  0x00000078
 167 #define VMEXIT_INVLPG               0x00000079
 168 #define VMEXIT_INVLPGA              0x0000007a
 169 #define VMEXIT_IOIO                 0x0000007b
 170 #define VMEXIT_MSR                  0x0000007c
 171 #define VMEXIT_TASK_SWITCH          0x0000007d
 172 #define VMEXIT_FERR_FREEZE          0x0000007e
 173 #define VMEXIT_SHUTDOWN             0x0000007f
 174 #define VMEXIT_VMRUN                0x00000080
 175 #define VMEXIT_VMMCALL              0x00000081
 176 #define VMEXIT_VMLOAD               0x00000082
 177 #define VMEXIT_VMSAVE               0x00000083
 178 #define VMEXIT_STGI                 0x00000084
 179 #define VMEXIT_CLGI                 0x00000085
 180 #define VMEXIT_SKINIT               0x00000086
 181 #define VMEXIT_RDTSCP               0x00000087
 182 #define VMEXIT_ICEBP                0x00000088
 183 #define VMEXIT_WBINVD               0x00000089
 184 #define VMEXIT_MONITOR              0x0000008a
 185 #define VMEXIT_MWAIT                0x0000008b
 186 #define VMEXIT_MWAIT_CONDITIONAL    0x0000008c
 187
 188 #define VMEXIT_NPF                  0x00000400
 189
 190 #define VMEXIT_INVALID_VMCB         -1
 191
 192 /******************************************/
 193
 194
 195
 196
 197 static const uchar_t VMEXIT_CR0_READ_STR[] = "VMEXIT_CR0_READ";
 198 static const uchar_t VMEXIT_CR1_READ_STR[] = "VMEXIT_CR1_READ";
 199 static const uchar_t VMEXIT_CR2_READ_STR[] = "VMEXIT_CR2_READ";
 200 static const uchar_t VMEXIT_CR3_READ_STR[] = "VMEXIT_CR3_READ";
 201 static const uchar_t VMEXIT_CR4_READ_STR[] = "VMEXIT_CR4_READ";
 202 static const uchar_t VMEXIT_CR5_READ_STR[] = "VMEXIT_CR5_READ";
 203 static const uchar_t VMEXIT_CR6_READ_STR[] = "VMEXIT_CR6_READ";
 204 static const uchar_t VMEXIT_CR7_READ_STR[] = "VMEXIT_CR7_READ";
 205 static const uchar_t VMEXIT_CR8_READ_STR[] = "VMEXIT_CR8_READ";
 206 static const uchar_t VMEXIT_CR9_READ_STR[] = "VMEXIT_CR9_READ";
 207 static const uchar_t VMEXIT_CR10_READ_STR[] = "VMEXIT_CR10_READ";
 208 static const uchar_t VMEXIT_CR11_READ_STR[] = "VMEXIT_CR11_READ";
 209 static const uchar_t VMEXIT_CR12_READ_STR[] = "VMEXIT_CR12_READ";
 210 static const uchar_t VMEXIT_CR13_READ_STR[] = "VMEXIT_CR13_READ";
 211 static const uchar_t VMEXIT_CR14_READ_STR[] = "VMEXIT_CR14_READ";
 212 static const uchar_t VMEXIT_CR15_READ_STR[] = "VMEXIT_CR15_READ";
 213 static const uchar_t VMEXIT_CR0_WRITE_STR[] = "VMEXIT_CR0_WRITE";
 214 static const uchar_t VMEXIT_CR1_WRITE_STR[] = "VMEXIT_CR1_WRITE";
 215 static const uchar_t VMEXIT_CR2_WRITE_STR[] = "VMEXIT_CR2_WRITE";
 216 static const uchar_t VMEXIT_CR3_WRITE_STR[] = "VMEXIT_CR3_WRITE";
 217 static const uchar_t VMEXIT_CR4_WRITE_STR[] = "VMEXIT_CR4_WRITE";
 218 static const uchar_t VMEXIT_CR5_WRITE_STR[] = "VMEXIT_CR5_WRITE";
 219 static const uchar_t VMEXIT_CR6_WRITE_STR[] = "VMEXIT_CR6_WRITE";
 220 static const uchar_t VMEXIT_CR7_WRITE_STR[] = "VMEXIT_CR7_WRITE";
 221 static const uchar_t VMEXIT_CR8_WRITE_STR[] = "VMEXIT_CR8_WRITE";
 222 static const uchar_t VMEXIT_CR9_WRITE_STR[] = "VMEXIT_CR9_WRITE";
 223 static const uchar_t VMEXIT_CR10_WRITE_STR[] = "VMEXIT_CR10_WRITE";
 224 static const uchar_t VMEXIT_CR11_WRITE_STR[] = "VMEXIT_CR11_WRITE";
 225 static const uchar_t VMEXIT_CR12_WRITE_STR[] = "VMEXIT_CR12_WRITE";
 226 static const uchar_t VMEXIT_CR13_WRITE_STR[] = "VMEXIT_CR13_WRITE";
 227 static const uchar_t VMEXIT_CR14_WRITE_STR[] = "VMEXIT_CR14_WRITE";
 228 static const uchar_t VMEXIT_CR15_WRITE_STR[] = "VMEXIT_CR15_WRITE";
 229 static const uchar_t VMEXIT_DR0_READ_STR[] = "VMEXIT_DR0_READ";
 230 static const uchar_t VMEXIT_DR1_READ_STR[] = "VMEXIT_DR1_READ";
 231 static const uchar_t VMEXIT_DR2_READ_STR[] = "VMEXIT_DR2_READ";
 232 static const uchar_t VMEXIT_DR3_READ_STR[] = "VMEXIT_DR3_READ";
 233 static const uchar_t VMEXIT_DR4_READ_STR[] = "VMEXIT_DR4_READ";
 234 static const uchar_t VMEXIT_DR5_READ_STR[] = "VMEXIT_DR5_READ";
 235 static const uchar_t VMEXIT_DR6_READ_STR[] = "VMEXIT_DR6_READ";
 236 static const uchar_t VMEXIT_DR7_READ_STR[] = "VMEXIT_DR7_READ";
 237 static const uchar_t VMEXIT_DR8_READ_STR[] = "VMEXIT_DR8_READ";
 238 static const uchar_t VMEXIT_DR9_READ_STR[] = "VMEXIT_DR9_READ";
 239 static const uchar_t VMEXIT_DR10_READ_STR[] = "VMEXIT_DR10_READ";
 240 static const uchar_t VMEXIT_DR11_READ_STR[] = "VMEXIT_DR11_READ";
 241 static const uchar_t VMEXIT_DR12_READ_STR[] = "VMEXIT_DR12_READ";
 242 static const uchar_t VMEXIT_DR13_READ_STR[] = "VMEXIT_DR13_READ";
 243 static const uchar_t VMEXIT_DR14_READ_STR[] = "VMEXIT_DR14_READ";
 244 static const uchar_t VMEXIT_DR15_READ_STR[] = "VMEXIT_DR15_READ";
 245 static const uchar_t VMEXIT_DR0_WRITE_STR[] = "VMEXIT_DR0_WRITE";
 246 static const uchar_t VMEXIT_DR1_WRITE_STR[] = "VMEXIT_DR1_WRITE";
 247 static const uchar_t VMEXIT_DR2_WRITE_STR[] = "VMEXIT_DR2_WRITE";
 248 static const uchar_t VMEXIT_DR3_WRITE_STR[] = "VMEXIT_DR3_WRITE";
 249 static const uchar_t VMEXIT_DR4_WRITE_STR[] = "VMEXIT_DR4_WRITE";
 250 static const uchar_t VMEXIT_DR5_WRITE_STR[] = "VMEXIT_DR5_WRITE";
 251 static const uchar_t VMEXIT_DR6_WRITE_STR[] = "VMEXIT_DR6_WRITE";
 252 static const uchar_t VMEXIT_DR7_WRITE_STR[] = "VMEXIT_DR7_WRITE";
 253 static const uchar_t VMEXIT_DR8_WRITE_STR[] = "VMEXIT_DR8_WRITE";
 254 static const uchar_t VMEXIT_DR9_WRITE_STR[] = "VMEXIT_DR9_WRITE";
 255 static const uchar_t VMEXIT_DR10_WRITE_STR[] = "VMEXIT_DR10_WRITE";
 256 static const uchar_t VMEXIT_DR11_WRITE_STR[] = "VMEXIT_DR11_WRITE";
 257 static const uchar_t VMEXIT_DR12_WRITE_STR[] = "VMEXIT_DR12_WRITE";
 258 static const uchar_t VMEXIT_DR13_WRITE_STR[] = "VMEXIT_DR13_WRITE";
 259 static const uchar_t VMEXIT_DR14_WRITE_STR[] = "VMEXIT_DR14_WRITE";
 260 static const uchar_t VMEXIT_DR15_WRITE_STR[] = "VMEXIT_DR15_WRITE";
 261 static const uchar_t VMEXIT_EXCP0_STR[] = "VMEXIT_EXCP0";
 262 static const uchar_t VMEXIT_EXCP1_STR[] = "VMEXIT_EXCP1";
 263 static const uchar_t VMEXIT_EXCP2_STR[] = "VMEXIT_EXCP2";
 264 static const uchar_t VMEXIT_EXCP3_STR[] = "VMEXIT_EXCP3";
 265 static const uchar_t VMEXIT_EXCP4_STR[] = "VMEXIT_EXCP4";
 266 static const uchar_t VMEXIT_EXCP5_STR[] = "VMEXIT_EXCP5";
 267 static const uchar_t VMEXIT_EXCP6_STR[] = "VMEXIT_EXCP6";
 268 static const uchar_t VMEXIT_EXCP7_STR[] = "VMEXIT_EXCP7";
 269 static const uchar_t VMEXIT_EXCP8_STR[] = "VMEXIT_EXCP8";
 270 static const uchar_t VMEXIT_EXCP9_STR[] = "VMEXIT_EXCP9";
 271 static const uchar_t VMEXIT_EXCP10_STR[] = "VMEXIT_EXCP10";
 272 static const uchar_t VMEXIT_EXCP11_STR[] = "VMEXIT_EXCP11";
 273 static const uchar_t VMEXIT_EXCP12_STR[] = "VMEXIT_EXCP12";
 274 static const uchar_t VMEXIT_EXCP13_STR[] = "VMEXIT_EXCP13";
 275 static const uchar_t VMEXIT_EXCP14_STR[] = "VMEXIT_EXCP14";
 276 static const uchar_t VMEXIT_EXCP15_STR[] = "VMEXIT_EXCP15";
 277 static const uchar_t VMEXIT_EXCP16_STR[] = "VMEXIT_EXCP16";
 278 static const uchar_t VMEXIT_EXCP17_STR[] = "VMEXIT_EXCP17";
 279 static const uchar_t VMEXIT_EXCP18_STR[] = "VMEXIT_EXCP18";
 280 static const uchar_t VMEXIT_EXCP19_STR[] = "VMEXIT_EXCP19";
 281 static const uchar_t VMEXIT_EXCP20_STR[] = "VMEXIT_EXCP20";
 282 static const uchar_t VMEXIT_EXCP21_STR[] = "VMEXIT_EXCP21";
 283 static const uchar_t VMEXIT_EXCP22_STR[] = "VMEXIT_EXCP22";
 284 static const uchar_t VMEXIT_EXCP23_STR[] = "VMEXIT_EXCP23";
 285 static const uchar_t VMEXIT_EXCP24_STR[] = "VMEXIT_EXCP24";
 286 static const uchar_t VMEXIT_EXCP25_STR[] = "VMEXIT_EXCP25";
 287 static const uchar_t VMEXIT_EXCP26_STR[] = "VMEXIT_EXCP26";
 288 static const uchar_t VMEXIT_EXCP27_STR[] = "VMEXIT_EXCP27";
 289 static const uchar_t VMEXIT_EXCP28_STR[] = "VMEXIT_EXCP28";
 290 static const uchar_t VMEXIT_EXCP29_STR[] = "VMEXIT_EXCP29";
 291 static const uchar_t VMEXIT_EXCP30_STR[] = "VMEXIT_EXCP30";
 292 static const uchar_t VMEXIT_EXCP31_STR[] = "VMEXIT_EXCP31";
 293 static const uchar_t VMEXIT_INTR_STR[] = "VMEXIT_INTR";
 294 static const uchar_t VMEXIT_NMI_STR[] = "VMEXIT_NMI";
 295 static const uchar_t VMEXIT_SMI_STR[] = "VMEXIT_SMI";
 296 static const uchar_t VMEXIT_INIT_STR[] = "VMEXIT_INIT";
 297 static const uchar_t VMEXIT_VINITR_STR[] = "VMEXIT_VINITR";
 298 static const uchar_t VMEXIT_CR0_SEL_WRITE_STR[] = "VMEXIT_CR0_SEL_WRITE";
 299 static const uchar_t VMEXIT_IDTR_READ_STR[] = "VMEXIT_IDTR_READ";
 300 static const uchar_t VMEXIT_GDTR_READ_STR[] = "VMEXIT_GDTR_READ";
 301 static const uchar_t VMEXIT_LDTR_READ_STR[] = "VMEXIT_LDTR_READ";
 302 static const uchar_t VMEXIT_TR_READ_STR[] = "VMEXIT_TR_READ";
 303 static const uchar_t VMEXIT_IDTR_WRITE_STR[] = "VMEXIT_IDTR_WRITE";
 304 static const uchar_t VMEXIT_GDTR_WRITE_STR[] = "VMEXIT_GDTR_WRITE";
 305 static const uchar_t VMEXIT_LDTR_WRITE_STR[] = "VMEXIT_LDTR_WRITE";
 306 static const uchar_t VMEXIT_TR_WRITE_STR[] = "VMEXIT_TR_WRITE";
 307 static const uchar_t VMEXIT_RDTSC_STR[] = "VMEXIT_RDTSC";
 308 static const uchar_t VMEXIT_RDPMC_STR[] = "VMEXIT_RDPMC";
 309 static const uchar_t VMEXIT_PUSHF_STR[] = "VMEXIT_PUSHF";
 310 static const uchar_t VMEXIT_POPF_STR[] = "VMEXIT_POPF";
 311 static const uchar_t VMEXIT_CPUID_STR[] = "VMEXIT_CPUID";
 312 static const uchar_t VMEXIT_RSM_STR[] = "VMEXIT_RSM";
 313 static const uchar_t VMEXIT_IRET_STR[] = "VMEXIT_IRET";
 314 static const uchar_t VMEXIT_SWINT_STR[] = "VMEXIT_SWINT";
 315 static const uchar_t VMEXIT_INVD_STR[] = "VMEXIT_INVD";
 316 static const uchar_t VMEXIT_PAUSE_STR[] = "VMEXIT_PAUSE";
 317 static const uchar_t VMEXIT_HLT_STR[] = "VMEXIT_HLT";
 318 static const uchar_t VMEXIT_INVLPG_STR[] = "VMEXIT_INVLPG";
 319 static const uchar_t VMEXIT_INVLPGA_STR[] = "VMEXIT_INVLPGA";
 320 static const uchar_t VMEXIT_IOIO_STR[] = "VMEXIT_IOIO";
 321 static const uchar_t VMEXIT_MSR_STR[] = "VMEXIT_MSR";
 322 static const uchar_t VMEXIT_TASK_SWITCH_STR[] = "VMEXIT_TASK_SWITCH";
 323 static const uchar_t VMEXIT_FERR_FREEZE_STR[] = "VMEXIT_FERR_FREEZE";
 324 static const uchar_t VMEXIT_SHUTDOWN_STR[] = "VMEXIT_SHUTDOWN";
 325 static const uchar_t VMEXIT_VMRUN_STR[] = "VMEXIT_VMRUN";
 326 static const uchar_t VMEXIT_VMMCALL_STR[] = "VMEXIT_VMMCALL";
 327 static const uchar_t VMEXIT_VMLOAD_STR[] = "VMEXIT_VMLOAD";
 328 static const uchar_t VMEXIT_VMSAVE_STR[] = "VMEXIT_VMSAVE";
 329 static const uchar_t VMEXIT_STGI_STR[] = "VMEXIT_STGI";
 330 static const uchar_t VMEXIT_CLGI_STR[] = "VMEXIT_CLGI";
 331 static const uchar_t VMEXIT_SKINIT_STR[] = "VMEXIT_SKINIT";
 332 static const uchar_t VMEXIT_RDTSCP_STR[] = "VMEXIT_RDTSCP";
 333 static const uchar_t VMEXIT_ICEBP_STR[] = "VMEXIT_ICEBP";
 334 static const uchar_t VMEXIT_WBINVD_STR[] = "VMEXIT_WBINVD";
 335 static const uchar_t VMEXIT_MONITOR_STR[] = "VMEXIT_MONITOR";
 336 static const uchar_t VMEXIT_MWAIT_STR[] = "VMEXIT_MWAIT";
 337 static const uchar_t VMEXIT_MWAIT_CONDITIONAL_STR[] = "VMEXIT_MWAIT_CONDITIONAL";
 338 static const uchar_t VMEXIT_NPF_STR[] = "VMEXIT_NPF";
 339 static const uchar_t VMEXIT_INVALID_VMCB_STR[] = "VMEXIT_INVALID_VMCB";
 340
 341
 342 const uchar_t * vmexit_code_to_str(uint_t exit_code);
 343
 344
 345
 346 int handle_shadow_paging(struct guest_info * info);
 347
 348 int handle_svm_intr(struct guest_info * info);
 349
 350 int handle_svm_exit(struct guest_info * info);
 351
 352 #endif // ! __V3VEE__
 353
 354 #endif