/EdkNt32Pkg/Dxe/

• ../
• Nt32Platform
• PlatformBds
• WinNtThunk