/OvmfPkg/IntelTdx/Sec/X64/
../
SecEntry.nasm