/OvmfPkg/XenBusDxe/X64/

• ../
• InterlockedCompareExchange16.nasm
• TestAndClearBit.nasm
• hypercall.nasm