1 files changed, 33 insertions, 0 deletions
diff --git a/src/VBox/VMM/VMMSwitcher/32BitToPAE.asm b/src/VBox/VMM/VMMSwitcher/32BitToPAE.asm
new file mode 100644
index 00000000..7e45d0fd
--- /dev/null
+++ b/src/VBox/VMM/VMMSwitcher/32BitToPAE.asm
@@ -0,0 +1,33 @@
+; $Id: 32BitToPAE.asm $
+;; @file
+; VMM - World Switchers, 32-Bit to 32-Bit.
+;
+
+;
+; Copyright (C) 2006-2019 Oracle Corporation
+;
+; This file is part of VirtualBox Open Source Edition (OSE), as
+; available from http://www.virtualbox.org. This file is free software;
+; you can redistribute it and/or modify it under the terms of the GNU
+; General Public License (GPL) as published by the Free Software
+; Foundation, in version 2 as it comes in the "COPYING" file of the
+; VirtualBox OSE distribution. VirtualBox OSE is distributed in the
+; hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
+;
+
+;*******************************************************************************
+;*   Defined Constants And Macros                                              *
+;*******************************************************************************
+%define SWITCHER_TYPE               VMMSWITCHER_32_TO_PAE
+%define SWITCHER_DESCRIPTION        "32-bit to/from PAE"
+%define NAME_OVERLOAD(name)         vmmR3Switcher32BitToPAE_ %+ name
+%define SWITCHER_FIX_INTER_CR3_HC   FIX_INTER_32BIT_CR3
+%define SWITCHER_FIX_INTER_CR3_GC   FIX_INTER_PAE_CR3
+%define NEED_PAE_ON_32BIT_HOST  1
+
+;*******************************************************************************
+;* Header Files                                                                *
+;*******************************************************************************
+%include "VBox/asmdefs.mac"
+%include "VMMSwitcher/PAEand32Bit.mac"
+