- Timestamp:
- Oct 2, 2008 11:56:15 AM (16 years ago)
- File:
-
- 1 edited
-
trunk/include/VBox/hwacc_vmx.h (modified) (9 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/include/VBox/hwacc_vmx.h
r12920 r12934 48 48 * Number of page table entries in the EPT. (PDPTE/PDE/PTE) 49 49 */ 50 #define EPT_PG_ENTRIES 51250 #define EPT_PG_ENTRIES X86_PG_PAE_ENTRIES 51 51 52 52 /** … … 74 74 75 75 /** Bits 12-51 - - EPT - Physical Page number of the next level. */ 76 #define EPT_PML4E_PG_MASK ( 0x000ffffffffff000ULL ) 76 #define EPT_PML4E_PG_MASK X86_PML4E_PG_MASK_FULL 77 /** The page shift to get the PML4 index. */ 78 #define EPT_PML4_SHIFT X86_PML4_SHIFT 79 /** The PML4 index mask (apply to a shifted page address). */ 80 #define EPT_PML4_MASK X86_PML4_MASK 77 81 78 82 /** … … 82 86 typedef union EPTPML4 83 87 { 84 EPTPML4EBITS n; 88 /** Normal view. */ 89 EPTPML4EBITS n; 90 /** Unsigned integer view. */ 91 X86PGUINT u; 85 92 /** 64 bit unsigned integer view. */ 86 uint64_t au64[1]; 93 uint64_t au64[1]; 94 /** 32 bit unsigned integer view. */ 95 uint32_t au32[2]; 87 96 } EPTPML4; 88 97 #pragma pack() … … 117 126 118 127 /** Bits 12-51 - - EPT - Physical Page number of the next level. */ 119 #define EPT_PDPTE_PG_MASK ( 0x000ffffffffff000ULL ) 128 #define EPT_PDPTE_PG_MASK X86_PDPE_PG_MASK_FULL 129 /** The page shift to get the PDPT index. */ 130 #define EPT_PDPT_SHIFT X86_PDPT_SHIFT 131 /** The PDPT index mask (apply to a shifted page address). */ 132 #define EPT_PDPT_MASK X86_PDPT_MASK_AMD64 120 133 121 134 /** … … 125 138 typedef union EPTPDPTE 126 139 { 127 EPTPDPTEBITS n; 140 /** Normal view. */ 141 EPTPDPTEBITS n; 142 /** Unsigned integer view. */ 143 X86PGUINT u; 128 144 /** 64 bit unsigned integer view. */ 129 uint64_t au64[1]; 145 uint64_t au64[1]; 146 /** 32 bit unsigned integer view. */ 147 uint32_t au32[2]; 130 148 } EPTPDPTE; 131 149 #pragma pack() … … 177 195 178 196 /** Bits 12-51 - - EPT - Physical Page number of the next level. */ 179 #define EPT_PDE_PG_MASK ( 0x000ffffffffff000ULL ) 197 #define EPT_PDE_PG_MASK X86_PDE_PAE_PG_MASK_FULL 198 /** The page shift to get the PD index. */ 199 #define EPT_PD_SHIFT X86_PD_PAE_SHIFT 200 /** The PD index mask (apply to a shifted page address). */ 201 #define EPT_PD_MASK X86_PD_PAE_MASK 180 202 181 203 /** … … 217 239 typedef union EPTPDE 218 240 { 241 /** Normal view. */ 219 242 EPTPDEBITS n; 243 /** 2MB view (big). */ 220 244 EPTPDE2MBITS b; 245 /** Unsigned integer view. */ 246 X86PGUINT u; 221 247 /** 64 bit unsigned integer view. */ 222 248 uint64_t au64[1]; 249 /** 32 bit unsigned integer view. */ 250 uint32_t au32[2]; 223 251 } EPTPDE; 224 252 #pragma pack() … … 269 297 #pragma pack() 270 298 299 /** Bits 12-51 - - EPT - Physical Page number of the next level. */ 300 #define EPT_PTE_PG_MASK X86_PTE_PAE_PG_MASK_FULL 301 /** The page shift to get the EPT PTE index. */ 302 #define EPT_PT_SHIFT X86_PT_PAE_SHIFT 303 /** The EPT PT index mask (apply to a shifted page address). */ 304 #define EPT_PT_MASK X86_PT_PAE_MASK 305 271 306 /** 272 307 * EPT Page Table Entry. … … 275 310 typedef union EPTPTE 276 311 { 312 /** Normal view. */ 277 313 EPTPTEBITS n; 314 /** Unsigned integer view. */ 315 X86PGUINT u; 278 316 /** 64 bit unsigned integer view. */ 279 317 uint64_t au64[1]; 318 /** 32 bit unsigned integer view. */ 319 uint32_t au32[2]; 280 320 } EPTPTE; 281 321 #pragma pack()
Note:
See TracChangeset
for help on using the changeset viewer.
