1 files changed, 33 insertions, 0 deletions
diff --git a/src/VBox/VMM/VMMSwitcher/PAETo32Bit.asm b/src/VBox/VMM/VMMSwitcher/PAETo32Bit.asm
new file mode 100644
index 00000000..4b5e68b0
--- /dev/null
+++ b/src/VBox/VMM/VMMSwitcher/PAETo32Bit.asm
@@ -0,0 +1,33 @@
+; $Id: PAETo32Bit.asm $
+;; @file
+; VMM - World Switchers, PAE to PAE
+;
+
+;
+; 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_PAE_TO_32BIT
+%define SWITCHER_DESCRIPTION        "PAE to/from 32-Bit"
+%define NAME_OVERLOAD(name)         vmmR3SwitcherPAETo32Bit_ %+ name
+%define SWITCHER_FIX_INTER_CR3_HC   FIX_INTER_PAE_CR3
+%define SWITCHER_FIX_INTER_CR3_GC   FIX_INTER_32BIT_CR3
+%define NEED_32BIT_ON_PAE_HOST  1
+
+;*******************************************************************************
+;* Header Files                                                                *
+;*******************************************************************************
+%include "VBox/asmdefs.mac"
+%include "VMMSwitcher/PAEand32Bit.mac"
+