VirtualBox

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

Last change on this file since 99396 was 85718, checked in by vboxsync, 5 years ago

Devices/EFI: Merge edk-stable202005 and make it build, bugref:4643

  • Property svn:eol-style set to native
File size: 807 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/**
13 Get paging details.
14
15 @param PagingContextData The paging context.
16 @param PageTableBase Return PageTableBase field.
17 @param Attributes Return Attributes field.
18
19**/
20VOID
21GetPagingDetails (
22 IN PAGE_TABLE_LIB_PAGING_CONTEXT_DATA *PagingContextData,
23 OUT UINTN **PageTableBase OPTIONAL,
24 OUT UINT32 **Attributes OPTIONAL
25 )
26{
27 if (PageTableBase != NULL) {
28 *PageTableBase = &PagingContextData->Ia32.PageTableBase;
29 }
30 if (Attributes != NULL) {
31 *Attributes = &PagingContextData->Ia32.Attributes;
32 }
33}
34
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