VirtualBox

source: vbox/trunk/src/VBox/Devices/EFI/FirmwareNew/UefiCpuPkg/CpuDxe/Ia32/PagingAttribute.c@ 109019

Last change on this file since 109019 was 99404, checked in by vboxsync, 2 years ago

Devices/EFI/FirmwareNew: Update to edk2-stable202302 and make it build, bugref:4643

  • Property svn:eol-style set to native
File size: 809 bytes
Line 
1/** @file
2 Return Paging attribute.
3
4 Copyright (c) 2019, Intel Corporation. All rights reserved.<BR>
5 SPDX-License-Identifier: BSD-2-Clause-Patent
6
7**/
8
9#include "CpuPageTable.h"
10
11/**
12 Get paging details.
13
14 @param PagingContextData The paging context.
15 @param PageTableBase Return PageTableBase field.
16 @param Attributes Return Attributes field.
17
18**/
19VOID
20GetPagingDetails (
21 IN PAGE_TABLE_LIB_PAGING_CONTEXT_DATA *PagingContextData,
22 OUT UINTN **PageTableBase OPTIONAL,
23 OUT UINT32 **Attributes OPTIONAL
24 )
25{
26 if (PageTableBase != NULL) {
27 *PageTableBase = &PagingContextData->Ia32.PageTableBase;
28 }
29
30 if (Attributes != NULL) {
31 *Attributes = &PagingContextData->Ia32.Attributes;
32 }
33}
Note: See TracBrowser for help on using the repository browser.

© 2025 Oracle Support Privacy / Do Not Sell My Info Terms of Use Trademark Policy Automated Access Etiquette