/OvmfPkg/IntelTdx/Sec/X64/

• ../
• IntelTdxAPs.nasm
• SecEntry.nasm