4 Copyright (c) 2006 - 2007, Intel Corporation<BR>
5 All rights reserved. This program and the accompanying materials
6 are licensed and made available under the terms and conditions of the BSD License
7 which accompanies this distribution. The full text of the license may be found at
8 http://opensource.org/licenses/bsd-license.php
10 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
19 Writes a value to Control Register 3 (CR3).
21 Writes and returns a new value to CR3. This function is only available on
22 IA-32 and X64. This writes a 32-bit value on IA-32 and a 64-bit value on X64.
24 @param Cr3 The value to write to CR3.
26 @return The value written to CR3.