| 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_ */ |
| 63 | |