> +    if (PagingMode == PagingPae) {
> +      //
> +      // These fields of PAE paging PDPTE should be 0 according to SDM.
> +      //

1. can you update comments to explain such as:
"These fields are treated as ReadWrite, .... by the common map logic. So they 
might be set to 1."

> +      TopPagingEntry.PdptePae.Bits.MustBeZero  = 0;
> +      TopPagingEntry.PdptePae.Bits.MustBeZero2 = 0;
2. Above code sets the CR3 value. You should update the 4 PDPTE entries.



-=-=-=-=-=-=-=-=-=-=-=-
Groups.io Links: You receive all messages sent to this group.
View/Reply Online (#101200): https://edk2.groups.io/g/devel/message/101200
Mute This Topic: https://groups.io/mt/97469487/21656
Group Owner: devel+ow...@edk2.groups.io
Unsubscribe: 
https://edk2.groups.io/g/devel/leave/9847357/21656/1706620634/xyzzy 
[arch...@mail-archive.com]
-=-=-=-=-=-=-=-=-=-=-=-


Reply via email to