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 | **/
|
---|
19 | VOID
|
---|
20 | GetPagingDetails (
|
---|
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.