/OvmfPkg/Library/VmgExitLib/X64/

• ../
• TdVmcallCpuid.nasm