osfmk/i386/vmx/vmx_asm.h

   1 /*
   2  * Copyright (c) 2006 Apple Computer, Inc. All rights reserved.
   3  *
   4  * @APPLE_OSREFERENCE_LICENSE_HEADER_START@
   5  *
   6  * This file contains Original Code and/or Modifications of Original Code
   7  * as defined in and that are subject to the Apple Public Source License
   8  * Version 2.0 (the 'License'). You may not use this file except in
   9  * compliance with the License. The rights granted to you under the License
  10  * may not be used to create, or enable the creation or redistribution of,
  11  * unlawful or unlicensed copies of an Apple operating system, or to
  12  * circumvent, violate, or enable the circumvention or violation of, any
  13  * terms of an Apple operating system software license agreement.
  14  *
  15  * Please obtain a copy of the License at
  16  * http://www.opensource.apple.com/apsl/ and read it before using this file.
  17  *
  18  * The Original Code and all software distributed under the License are
  19  * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
  20  * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
  21  * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
  22  * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
  23  * Please see the License for the specific language governing rights and
  24  * limitations under the License.
  25  *
  26  * @APPLE_OSREFERENCE_LICENSE_HEADER_END@
  27  */
  28
  29 #ifndef _I386_VMX_ASM_H_
  30 #define _I386_VMX_ASM_H_
  31
  32 #define VMX_FAIL_INVALID        -1
  33 #define VMX_FAIL_VALID          -2
  34 #define VMX_SUCCEED                     0
  35
  36 /*
  37  * VMX Capability Registers (VCR)
  38  *
  39  */
  40 #define VMX_VCR_VMCS_MEM_TYPE_BIT       50
  41 #define VMX_VCR_VMCS_MEM_TYPE_MASK      0xF
  42
  43 #define VMX_VCR_VMCS_SIZE_BIT           32
  44 #define VMX_VCR_VMCS_SIZE_MASK          0x01FFF
  45 #define VMX_VCR_VMCS_REV_ID             0x00000000FFFFFFFFLL
  46
  47 #define VMX_VCR_ACT_HLT_BIT             6
  48 #define VMX_VCR_ACT_HLT_MASK            0x1
  49 #define VMX_VCR_ACT_SHUTDOWN_BIT        7
  50 #define VMX_VCR_ACT_SHUTDOWN_MASK       0x1
  51 #define VMX_VCR_ACT_SIPI_BIT            8
  52 #define VMX_VCR_ACT_SIPI_MASK           0x1
  53 #define VMX_VCR_ACT_CSTATE_BIT          9
  54 #define VMX_VCR_ACT_CSTATE_MASK         0x1
  55 #define VMX_VCR_CR3_TARGS_BIT           16
  56 #define VMX_VCR_CR3_TARGS_MASK          0xFF
  57 #define VMX_VCR_MAX_MSRS_BIT            25
  58 #define VMX_VCR_MAX_MSRS_MASK           0x7
  59 #define VMX_VCR_MSEG_ID_BIT             32
  60 #define VMX_VCR_MSEG_ID_MASK            0xFFFFFFFF
  61
  62 #endif  /* _I386_VMX_H_ */