1
/* $Id: PGMGCShw.h $ */
3
* VBox - Page Manager, Shadow Paging Template - Guest Context.
7
* Copyright (C) 2006-2007 Oracle Corporation
9
* This file is part of VirtualBox Open Source Edition (OSE), as
10
* available from http://www.virtualbox.org. This file is free software;
11
* you can redistribute it and/or modify it under the terms of the GNU
12
* General Public License (GPL) as published by the Free Software
13
* Foundation, in version 2 as it comes in the "COPYING" file of the
14
* VirtualBox OSE distribution. VirtualBox OSE is distributed in the
15
* hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
18
/*******************************************************************************
19
* Defined Constants And Macros *
20
*******************************************************************************/
29
#undef SHW_PDE_PG_MASK
32
#undef SHW_PTE_PG_MASK
36
#if PGM_SHW_TYPE == PGM_TYPE_32BIT
38
# define PSHWPT PX86PT
39
# define SHWPTE X86PTE
40
# define PSHWPTE PX86PTE
42
# define PSHWPD PX86PD
43
# define SHWPDE X86PDE
44
# define PSHWPDE PX86PDE
45
# define SHW_PDE_PG_MASK X86_PDE_PG_MASK
46
# define SHW_PD_SHIFT X86_PD_SHIFT
47
# define SHW_PD_MASK X86_PD_MASK
48
# define SHW_PTE_PG_MASK X86_PTE_PG_MASK
49
# define SHW_PT_SHIFT X86_PT_SHIFT
50
# define SHW_PT_MASK X86_PT_MASK
52
# define SHWPT X86PTPAE
53
# define PSHWPT PX86PTPAE
54
# define SHWPTE X86PTEPAE
55
# define PSHWPTE PX86PTEPAE
56
# define SHWPD X86PDPAE
57
# define PSHWPD PX86PDPAE
58
# define SHWPDE X86PDEPAE
59
# define PSHWPDE PX86PDEPAE
60
# define SHW_PDE_PG_MASK X86_PDE_PAE_PG_MASK
61
# define SHW_PD_SHIFT X86_PD_PAE_SHIFT
62
# define SHW_PD_MASK X86_PD_PAE_MASK
63
# define SHW_PTE_PG_MASK X86_PTE_PAE_PG_MASK
64
# define SHW_PT_SHIFT X86_PT_PAE_SHIFT
65
# define SHW_PT_MASK X86_PT_PAE_MASK
69
/*******************************************************************************
70
* Internal Functions *
71
*******************************************************************************/