/OvmfPkg/Library/CcExitLib/X64/
../
TdVmcallCpuid.nasm