1 ;------------------------------------------------------------------------------
3 ; Sets the CR3 register for 64-bit paging
5 ; Copyright (c) 2008 - 2013, Intel Corporation. All rights reserved.<BR>
6 ; SPDX-License-Identifier: BSD-2-Clause-Patent
8 ;------------------------------------------------------------------------------
15 SetCr3ForPageTables64:
18 ; These pages are built into the ROM image in X64/PageTables.asm
20 mov eax, ADDR_OF(TopLevelPageDirectory)
23 OneTimeCallRet SetCr3ForPageTables64