1;------------------------------------------------------------------------------
2; @file
3; Sets the CR3 register for 64-bit paging
4;
5; Copyright (c) 2008 - 2013, Intel Corporation. All rights reserved.<BR>
6; This program and the accompanying materials
7; are licensed and made available under the terms and conditions of the BSD License
8; which accompanies this distribution.  The full text of the license may be found at
9; http://opensource.org/licenses/bsd-license.php
10;
11; THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
12; WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
13;
14;------------------------------------------------------------------------------
15
16BITS    32
17
18;
19; Modified:  EAX
20;
21SetCr3ForPageTables64:
22
23    ;
24    ; These pages are built into the ROM image in X64/PageTables.asm
25    ;
26    mov     eax, ADDR_OF(TopLevelPageDirectory)
27    mov     cr3, eax
28
29    OneTimeCallRet SetCr3ForPageTables64
30
31