paging_tmpl.h 14.3 KB
Newer Older
A
Avi Kivity 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34
/*
 * Kernel-based Virtual Machine driver for Linux
 *
 * This module enables machines with Intel VT-x extensions to run virtual
 * machines without emulation or binary translation.
 *
 * MMU support
 *
 * Copyright (C) 2006 Qumranet, Inc.
 *
 * Authors:
 *   Yaniv Kamay  <yaniv@qumranet.com>
 *   Avi Kivity   <avi@qumranet.com>
 *
 * This work is licensed under the terms of the GNU GPL, version 2.  See
 * the COPYING file in the top-level directory.
 *
 */

/*
 * We need the mmu code to access both 32-bit and 64-bit guest ptes,
 * so the code in this file is compiled twice, once per pte size.
 */

#if PTTYPE == 64
	#define pt_element_t u64
	#define guest_walker guest_walker64
	#define FNAME(name) paging##64_##name
	#define PT_BASE_ADDR_MASK PT64_BASE_ADDR_MASK
	#define PT_DIR_BASE_ADDR_MASK PT64_DIR_BASE_ADDR_MASK
	#define PT_INDEX(addr, level) PT64_INDEX(addr, level)
	#define SHADOW_PT_INDEX(addr, level) PT64_INDEX(addr, level)
	#define PT_LEVEL_MASK(level) PT64_LEVEL_MASK(level)
	#define PT_PTE_COPY_MASK PT64_PTE_COPY_MASK
35 36 37 38 39
	#ifdef CONFIG_X86_64
	#define PT_MAX_FULL_LEVELS 4
	#else
	#define PT_MAX_FULL_LEVELS 2
	#endif
A
Avi Kivity 已提交
40 41 42 43 44 45 46 47 48 49
#elif PTTYPE == 32
	#define pt_element_t u32
	#define guest_walker guest_walker32
	#define FNAME(name) paging##32_##name
	#define PT_BASE_ADDR_MASK PT32_BASE_ADDR_MASK
	#define PT_DIR_BASE_ADDR_MASK PT32_DIR_BASE_ADDR_MASK
	#define PT_INDEX(addr, level) PT32_INDEX(addr, level)
	#define SHADOW_PT_INDEX(addr, level) PT64_INDEX(addr, level)
	#define PT_LEVEL_MASK(level) PT32_LEVEL_MASK(level)
	#define PT_PTE_COPY_MASK PT32_PTE_COPY_MASK
50
	#define PT_MAX_FULL_LEVELS 2
A
Avi Kivity 已提交
51 52 53 54 55 56 57 58 59 60
#else
	#error Invalid PTTYPE value
#endif

/*
 * The guest_walker structure emulates the behavior of the hardware page
 * table walker.
 */
struct guest_walker {
	int level;
61
	gfn_t table_gfn[PT_MAX_FULL_LEVELS];
A
Avi Kivity 已提交
62
	pt_element_t *table;
63
	pt_element_t *ptep;
A
Avi Kivity 已提交
64
	pt_element_t inherited_ar;
65
	gfn_t gfn;
66
	u32 error_code;
A
Avi Kivity 已提交
67 68
};

69 70 71
/*
 * Fetch a guest pte for a guest virtual address
 */
72 73
static int FNAME(walk_addr)(struct guest_walker *walker,
			    struct kvm_vcpu *vcpu, gva_t addr,
74
			    int write_fault, int user_fault, int fetch_fault)
A
Avi Kivity 已提交
75 76 77
{
	hpa_t hpa;
	struct kvm_memory_slot *slot;
78
	pt_element_t *ptep;
79
	pt_element_t root;
80
	gfn_t table_gfn;
A
Avi Kivity 已提交
81

82
	pgprintk("%s: addr %lx\n", __FUNCTION__, addr);
A
Avi Kivity 已提交
83
	walker->level = vcpu->mmu.root_level;
84 85 86 87 88 89 90
	walker->table = NULL;
	root = vcpu->cr3;
#if PTTYPE == 64
	if (!is_long_mode(vcpu)) {
		walker->ptep = &vcpu->pdptrs[(addr >> 30) & 3];
		root = *walker->ptep;
		if (!(root & PT_PRESENT_MASK))
91
			goto not_present;
92 93 94
		--walker->level;
	}
#endif
95 96 97 98 99
	table_gfn = (root & PT64_BASE_ADDR_MASK) >> PAGE_SHIFT;
	walker->table_gfn[walker->level - 1] = table_gfn;
	pgprintk("%s: table_gfn[%d] %lx\n", __FUNCTION__,
		 walker->level - 1, table_gfn);
	slot = gfn_to_memslot(vcpu->kvm, table_gfn);
100
	hpa = safe_gpa_to_hpa(vcpu, root & PT64_BASE_ADDR_MASK);
A
Avi Kivity 已提交
101 102
	walker->table = kmap_atomic(pfn_to_page(hpa >> PAGE_SHIFT), KM_USER0);

A
Avi Kivity 已提交
103
	ASSERT((!is_long_mode(vcpu) && is_pae(vcpu)) ||
A
Avi Kivity 已提交
104 105 106
	       (vcpu->cr3 & ~(PAGE_MASK | CR3_FLAGS_MASK)) == 0);

	walker->inherited_ar = PT_USER_MASK | PT_WRITABLE_MASK;
107 108 109 110 111 112 113 114 115

	for (;;) {
		int index = PT_INDEX(addr, walker->level);
		hpa_t paddr;

		ptep = &walker->table[index];
		ASSERT(((unsigned long)walker->table & PAGE_MASK) ==
		       ((unsigned long)ptep & PAGE_MASK));

116
		if (!is_present_pte(*ptep))
117 118 119 120 121 122 123 124 125
			goto not_present;

		if (write_fault && !is_writeble_pte(*ptep))
			if (user_fault || is_write_protection(vcpu))
				goto access_error;

		if (user_fault && !(*ptep & PT_USER_MASK))
			goto access_error;

126 127 128 129 130
#if PTTYPE == 64
		if (fetch_fault && is_nx(vcpu) && (*ptep & PT64_NX_MASK))
			goto access_error;
#endif

131 132 133 134
		if (!(*ptep & PT_ACCESSED_MASK)) {
			mark_page_dirty(vcpu->kvm, table_gfn);
			*ptep |= PT_ACCESSED_MASK;
		}
135 136 137 138 139 140 141 142 143 144 145 146 147

		if (walker->level == PT_PAGE_TABLE_LEVEL) {
			walker->gfn = (*ptep & PT_BASE_ADDR_MASK)
				>> PAGE_SHIFT;
			break;
		}

		if (walker->level == PT_DIRECTORY_LEVEL
		    && (*ptep & PT_PAGE_SIZE_MASK)
		    && (PTTYPE == 64 || is_pse(vcpu))) {
			walker->gfn = (*ptep & PT_DIR_BASE_ADDR_MASK)
				>> PAGE_SHIFT;
			walker->gfn += PT_INDEX(addr, PT_PAGE_TABLE_LEVEL);
148
			break;
149
		}
150

151
		walker->inherited_ar &= walker->table[index];
152
		table_gfn = (*ptep & PT_BASE_ADDR_MASK) >> PAGE_SHIFT;
153 154 155 156 157
		paddr = safe_gpa_to_hpa(vcpu, *ptep & PT_BASE_ADDR_MASK);
		kunmap_atomic(walker->table, KM_USER0);
		walker->table = kmap_atomic(pfn_to_page(paddr >> PAGE_SHIFT),
					    KM_USER0);
		--walker->level;
158 159 160
		walker->table_gfn[walker->level - 1 ] = table_gfn;
		pgprintk("%s: table_gfn[%d] %lx\n", __FUNCTION__,
			 walker->level - 1, table_gfn);
161 162
	}
	walker->ptep = ptep;
163
	pgprintk("%s: pte %llx\n", __FUNCTION__, (u64)*ptep);
164 165 166 167 168 169 170 171 172 173 174 175 176 177
	return 1;

not_present:
	walker->error_code = 0;
	goto err;

access_error:
	walker->error_code = PFERR_PRESENT_MASK;

err:
	if (write_fault)
		walker->error_code |= PFERR_WRITE_MASK;
	if (user_fault)
		walker->error_code |= PFERR_USER_MASK;
178 179
	if (fetch_fault)
		walker->error_code |= PFERR_FETCH_MASK;
180
	return 0;
A
Avi Kivity 已提交
181 182 183 184
}

static void FNAME(release_walker)(struct guest_walker *walker)
{
185 186
	if (walker->table)
		kunmap_atomic(walker->table, KM_USER0);
A
Avi Kivity 已提交
187 188
}

189 190 191 192 193 194
static void FNAME(mark_pagetable_dirty)(struct kvm *kvm,
					struct guest_walker *walker)
{
	mark_page_dirty(kvm, walker->table_gfn[walker->level - 1]);
}

195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242
static void FNAME(set_pte_common)(struct kvm_vcpu *vcpu,
				  u64 *shadow_pte,
				  gpa_t gaddr,
				  int dirty,
				  u64 access_bits,
				  gfn_t gfn)
{
	hpa_t paddr;

	*shadow_pte |= access_bits << PT_SHADOW_BITS_OFFSET;
	if (!dirty)
		access_bits &= ~PT_WRITABLE_MASK;

	paddr = gpa_to_hpa(vcpu, gaddr & PT64_BASE_ADDR_MASK);

	*shadow_pte |= access_bits;

	if (is_error_hpa(paddr)) {
		*shadow_pte |= gaddr;
		*shadow_pte |= PT_SHADOW_IO_MARK;
		*shadow_pte &= ~PT_PRESENT_MASK;
		return;
	}

	*shadow_pte |= paddr;

	if (access_bits & PT_WRITABLE_MASK) {
		struct kvm_mmu_page *shadow;

		shadow = kvm_mmu_lookup_page(vcpu, gfn);
		if (shadow) {
			pgprintk("%s: found shadow page for %lx, marking ro\n",
				 __FUNCTION__, gfn);
			access_bits &= ~PT_WRITABLE_MASK;
			if (is_writeble_pte(*shadow_pte)) {
				    *shadow_pte &= ~PT_WRITABLE_MASK;
				    kvm_arch_ops->tlb_flush(vcpu);
			}
		}
	}

	if (access_bits & PT_WRITABLE_MASK)
		mark_page_dirty(vcpu->kvm, gaddr >> PAGE_SHIFT);

	page_header_update_slot(vcpu->kvm, shadow_pte, gaddr);
	rmap_add(vcpu, shadow_pte);
}

A
Avi Kivity 已提交
243
static void FNAME(set_pte)(struct kvm_vcpu *vcpu, u64 guest_pte,
244
			   u64 *shadow_pte, u64 access_bits, gfn_t gfn)
A
Avi Kivity 已提交
245 246 247 248
{
	ASSERT(*shadow_pte == 0);
	access_bits &= guest_pte;
	*shadow_pte = (guest_pte & PT_PTE_COPY_MASK);
249 250
	FNAME(set_pte_common)(vcpu, shadow_pte, guest_pte & PT_BASE_ADDR_MASK,
			      guest_pte & PT_DIRTY_MASK, access_bits, gfn);
A
Avi Kivity 已提交
251 252
}

253 254 255 256 257 258 259 260 261 262 263
static void FNAME(update_pte)(struct kvm_vcpu *vcpu, struct kvm_mmu_page *page,
			      u64 *spte, const void *pte, int bytes)
{
	pt_element_t gpte;

	if (bytes < sizeof(pt_element_t))
		return;
	gpte = *(const pt_element_t *)pte;
	if (~gpte & (PT_PRESENT_MASK | PT_ACCESSED_MASK))
		return;
	pgprintk("%s: gpte %llx spte %p\n", __FUNCTION__, (u64)gpte, spte);
264
	FNAME(set_pte)(vcpu, gpte, spte, PT_USER_MASK | PT_WRITABLE_MASK,
265 266 267
		       (gpte & PT_BASE_ADDR_MASK) >> PAGE_SHIFT);
}

A
Avi Kivity 已提交
268
static void FNAME(set_pde)(struct kvm_vcpu *vcpu, u64 guest_pde,
269
			   u64 *shadow_pte, u64 access_bits, gfn_t gfn)
A
Avi Kivity 已提交
270 271 272 273 274
{
	gpa_t gaddr;

	ASSERT(*shadow_pte == 0);
	access_bits &= guest_pde;
275
	gaddr = (gpa_t)gfn << PAGE_SHIFT;
A
Avi Kivity 已提交
276 277 278
	if (PTTYPE == 32 && is_cpuid_PSE36())
		gaddr |= (guest_pde & PT32_DIR_PSE36_MASK) <<
			(32 - PT32_DIR_PSE36_SHIFT);
279
	*shadow_pte = guest_pde & PT_PTE_COPY_MASK;
280 281
	FNAME(set_pte_common)(vcpu, shadow_pte, gaddr,
			      guest_pde & PT_DIRTY_MASK, access_bits, gfn);
A
Avi Kivity 已提交
282 283 284 285 286 287 288 289 290 291
}

/*
 * Fetch a shadow pte for a specific level in the paging hierarchy.
 */
static u64 *FNAME(fetch)(struct kvm_vcpu *vcpu, gva_t addr,
			      struct guest_walker *walker)
{
	hpa_t shadow_addr;
	int level;
292
	u64 *shadow_ent;
A
Avi Kivity 已提交
293
	u64 *prev_shadow_ent = NULL;
294 295 296 297
	pt_element_t *guest_ent = walker->ptep;

	if (!is_present_pte(*guest_ent))
		return NULL;
A
Avi Kivity 已提交
298 299 300

	shadow_addr = vcpu->mmu.root_hpa;
	level = vcpu->mmu.shadow_root_level;
301 302 303 304 305
	if (level == PT32E_ROOT_LEVEL) {
		shadow_addr = vcpu->mmu.pae_root[(addr >> 30) & 3];
		shadow_addr &= PT64_BASE_ADDR_MASK;
		--level;
	}
A
Avi Kivity 已提交
306 307 308

	for (; ; level--) {
		u32 index = SHADOW_PT_INDEX(addr, level);
309
		struct kvm_mmu_page *shadow_page;
310
		u64 shadow_pte;
311 312
		int metaphysical;
		gfn_t table_gfn;
313
		unsigned hugepage_access = 0;
A
Avi Kivity 已提交
314

315
		shadow_ent = ((u64 *)__va(shadow_addr)) + index;
A
Avi Kivity 已提交
316 317 318 319 320 321 322 323
		if (is_present_pte(*shadow_ent) || is_io_pte(*shadow_ent)) {
			if (level == PT_PAGE_TABLE_LEVEL)
				return shadow_ent;
			shadow_addr = *shadow_ent & PT64_BASE_ADDR_MASK;
			prev_shadow_ent = shadow_ent;
			continue;
		}

324 325
		if (level == PT_PAGE_TABLE_LEVEL)
			break;
A
Avi Kivity 已提交
326

327 328 329
		if (level - 1 == PT_PAGE_TABLE_LEVEL
		    && walker->level == PT_DIRECTORY_LEVEL) {
			metaphysical = 1;
330 331 332
			hugepage_access = *guest_ent;
			hugepage_access &= PT_USER_MASK | PT_WRITABLE_MASK;
			hugepage_access >>= PT_WRITABLE_SHIFT;
333 334 335 336 337 338 339
			table_gfn = (*guest_ent & PT_BASE_ADDR_MASK)
				>> PAGE_SHIFT;
		} else {
			metaphysical = 0;
			table_gfn = walker->table_gfn[level - 2];
		}
		shadow_page = kvm_mmu_get_page(vcpu, table_gfn, addr, level-1,
340 341
					       metaphysical, hugepage_access,
					       shadow_ent);
342
		shadow_addr = __pa(shadow_page->spt);
343 344
		shadow_pte = shadow_addr | PT_PRESENT_MASK | PT_ACCESSED_MASK
			| PT_WRITABLE_MASK | PT_USER_MASK;
345
		*shadow_ent = shadow_pte;
A
Avi Kivity 已提交
346 347
		prev_shadow_ent = shadow_ent;
	}
348 349 350 351 352 353 354 355 356 357 358 359 360

	if (walker->level == PT_DIRECTORY_LEVEL) {
		if (prev_shadow_ent)
			*prev_shadow_ent |= PT_SHADOW_PS_MARK;
		FNAME(set_pde)(vcpu, *guest_ent, shadow_ent,
			       walker->inherited_ar, walker->gfn);
	} else {
		ASSERT(walker->level == PT_PAGE_TABLE_LEVEL);
		FNAME(set_pte)(vcpu, *guest_ent, shadow_ent,
			       walker->inherited_ar,
			       walker->gfn);
	}
	return shadow_ent;
A
Avi Kivity 已提交
361 362 363 364 365 366 367 368 369 370 371 372 373
}

/*
 * The guest faulted for write.  We need to
 *
 * - check write permissions
 * - update the guest pte dirty bit
 * - update our own dirty page tracking structures
 */
static int FNAME(fix_write_pf)(struct kvm_vcpu *vcpu,
			       u64 *shadow_ent,
			       struct guest_walker *walker,
			       gva_t addr,
374 375
			       int user,
			       int *write_pt)
A
Avi Kivity 已提交
376 377 378 379
{
	pt_element_t *guest_ent;
	int writable_shadow;
	gfn_t gfn;
380
	struct kvm_mmu_page *page;
A
Avi Kivity 已提交
381 382

	if (is_writeble_pte(*shadow_ent))
383
		return !user || (*shadow_ent & PT_USER_MASK);
A
Avi Kivity 已提交
384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404

	writable_shadow = *shadow_ent & PT_SHADOW_WRITABLE_MASK;
	if (user) {
		/*
		 * User mode access.  Fail if it's a kernel page or a read-only
		 * page.
		 */
		if (!(*shadow_ent & PT_SHADOW_USER_MASK) || !writable_shadow)
			return 0;
		ASSERT(*shadow_ent & PT_USER_MASK);
	} else
		/*
		 * Kernel mode access.  Fail if it's a read-only page and
		 * supervisor write protection is enabled.
		 */
		if (!writable_shadow) {
			if (is_write_protection(vcpu))
				return 0;
			*shadow_ent &= ~PT_USER_MASK;
		}

405
	guest_ent = walker->ptep;
A
Avi Kivity 已提交
406 407 408 409 410 411

	if (!is_present_pte(*guest_ent)) {
		*shadow_ent = 0;
		return 0;
	}

412
	gfn = walker->gfn;
413 414 415 416 417 418 419 420 421 422 423

	if (user) {
		/*
		 * Usermode page faults won't be for page table updates.
		 */
		while ((page = kvm_mmu_lookup_page(vcpu, gfn)) != NULL) {
			pgprintk("%s: zap %lx %x\n",
				 __FUNCTION__, gfn, page->role.word);
			kvm_mmu_zap_page(vcpu, page);
		}
	} else if (kvm_mmu_lookup_page(vcpu, gfn)) {
424 425
		pgprintk("%s: found shadow page for %lx, marking ro\n",
			 __FUNCTION__, gfn);
426 427
		mark_page_dirty(vcpu->kvm, gfn);
		FNAME(mark_pagetable_dirty)(vcpu->kvm, walker);
428
		*guest_ent |= PT_DIRTY_MASK;
429 430 431
		*write_pt = 1;
		return 0;
	}
A
Avi Kivity 已提交
432 433
	mark_page_dirty(vcpu->kvm, gfn);
	*shadow_ent |= PT_WRITABLE_MASK;
434
	FNAME(mark_pagetable_dirty)(vcpu->kvm, walker);
A
Avi Kivity 已提交
435
	*guest_ent |= PT_DIRTY_MASK;
436
	rmap_add(vcpu, shadow_ent);
A
Avi Kivity 已提交
437 438 439 440 441 442 443 444 445 446 447 448 449 450 451

	return 1;
}

/*
 * Page fault handler.  There are several causes for a page fault:
 *   - there is no shadow pte for the guest pte
 *   - write access through a shadow pte marked read only so that we can set
 *     the dirty bit
 *   - write access to a shadow pte marked read only so we can update the page
 *     dirty bitmap, when userspace requests it
 *   - mmio access; in this case we will never install a present shadow pte
 *   - normal guest page fault due to the guest pte marked not present, not
 *     writable, or not executable
 *
452 453
 *  Returns: 1 if we need to emulate the instruction, 0 otherwise, or
 *           a negative value on error.
A
Avi Kivity 已提交
454 455 456 457 458 459
 */
static int FNAME(page_fault)(struct kvm_vcpu *vcpu, gva_t addr,
			       u32 error_code)
{
	int write_fault = error_code & PFERR_WRITE_MASK;
	int user_fault = error_code & PFERR_USER_MASK;
460
	int fetch_fault = error_code & PFERR_FETCH_MASK;
A
Avi Kivity 已提交
461 462 463
	struct guest_walker walker;
	u64 *shadow_pte;
	int fixed;
464
	int write_pt = 0;
465
	int r;
A
Avi Kivity 已提交
466

467
	pgprintk("%s: addr %lx err %x\n", __FUNCTION__, addr, error_code);
468
	kvm_mmu_audit(vcpu, "pre page fault");
469

470 471 472
	r = mmu_topup_memory_caches(vcpu);
	if (r)
		return r;
473

A
Avi Kivity 已提交
474 475 476
	/*
	 * Look up the shadow pte for the faulting address.
	 */
477 478
	r = FNAME(walk_addr)(&walker, vcpu, addr, write_fault, user_fault,
			     fetch_fault);
A
Avi Kivity 已提交
479 480 481 482

	/*
	 * The page is not mapped by the guest.  Let the guest handle it.
	 */
483 484 485
	if (!r) {
		pgprintk("%s: guest page fault\n", __FUNCTION__);
		inject_page_fault(vcpu, addr, walker.error_code);
A
Avi Kivity 已提交
486
		FNAME(release_walker)(&walker);
487
		vcpu->last_pt_write_count = 0; /* reset fork detector */
A
Avi Kivity 已提交
488 489 490
		return 0;
	}

491
	shadow_pte = FNAME(fetch)(vcpu, addr, &walker);
492 493 494
	pgprintk("%s: shadow pte %p %llx\n", __FUNCTION__,
		 shadow_pte, *shadow_pte);

A
Avi Kivity 已提交
495 496 497 498 499
	/*
	 * Update the shadow pte.
	 */
	if (write_fault)
		fixed = FNAME(fix_write_pf)(vcpu, shadow_pte, &walker, addr,
500
					    user_fault, &write_pt);
A
Avi Kivity 已提交
501 502 503
	else
		fixed = fix_read_pf(shadow_pte);

504 505 506
	pgprintk("%s: updated shadow pte %p %llx\n", __FUNCTION__,
		 shadow_pte, *shadow_pte);

A
Avi Kivity 已提交
507 508
	FNAME(release_walker)(&walker);

509 510 511
	if (!write_pt)
		vcpu->last_pt_write_count = 0; /* reset fork detector */

A
Avi Kivity 已提交
512 513 514
	/*
	 * mmio: emulate if accessible, otherwise its a guest fault.
	 */
A
Avi Kivity 已提交
515
	if (is_io_pte(*shadow_pte))
516
		return 1;
A
Avi Kivity 已提交
517

A
Avi Kivity 已提交
518
	++vcpu->stat.pf_fixed;
519
	kvm_mmu_audit(vcpu, "post page fault (fixed)");
A
Avi Kivity 已提交
520

521
	return write_pt;
A
Avi Kivity 已提交
522 523 524 525 526
}

static gpa_t FNAME(gva_to_gpa)(struct kvm_vcpu *vcpu, gva_t vaddr)
{
	struct guest_walker walker;
A
Avi Kivity 已提交
527 528
	gpa_t gpa = UNMAPPED_GVA;
	int r;
A
Avi Kivity 已提交
529

A
Avi Kivity 已提交
530
	r = FNAME(walk_addr)(&walker, vcpu, vaddr, 0, 0, 0);
A
Avi Kivity 已提交
531

A
Avi Kivity 已提交
532 533 534
	if (r) {
		gpa = (gpa_t)walker.gfn << PAGE_SHIFT;
		gpa |= vaddr & ~PAGE_MASK;
A
Avi Kivity 已提交
535 536
	}

A
Avi Kivity 已提交
537
	FNAME(release_walker)(&walker);
A
Avi Kivity 已提交
538 539 540 541 542 543 544 545 546 547 548 549 550
	return gpa;
}

#undef pt_element_t
#undef guest_walker
#undef FNAME
#undef PT_BASE_ADDR_MASK
#undef PT_INDEX
#undef SHADOW_PT_INDEX
#undef PT_LEVEL_MASK
#undef PT_PTE_COPY_MASK
#undef PT_NON_PTE_COPY_MASK
#undef PT_DIR_BASE_ADDR_MASK
551
#undef PT_MAX_FULL_LEVELS