/Nt32Pkg/WinNtThunkDxe/

• ../
• WinNtThunk.c
• WinNtThunk.h
• WinNtThunkDxe.inf