PV_RESTORE_REGS   672 arch/x86/include/asm/paravirt.h #define PV_RESTORE_REGS "popl %edx; popl %ecx;"
PV_RESTORE_REGS   705 arch/x86/include/asm/paravirt.h #define PV_RESTORE_REGS "popq %%rdi;"
PV_RESTORE_REGS   828 arch/x86/include/asm/paravirt.h #define PV_RESTORE_REGS(set)			\
PV_RESTORE_REGS   848 arch/x86/include/asm/paravirt.h #define PV_RESTORE_REGS(set)			\