/OvmfPkg/XenBusDxe/Ia32/

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