PV_RESTORE_REGS   731 arch/x86/include/asm/paravirt.h #define PV_RESTORE_REGS "popl %edx; popl %ecx;"
PV_RESTORE_REGS   764 arch/x86/include/asm/paravirt.h #define PV_RESTORE_REGS "popq %%rdi;"
PV_RESTORE_REGS   881 arch/x86/include/asm/paravirt.h #define PV_RESTORE_REGS(set)			\
PV_RESTORE_REGS   901 arch/x86/include/asm/paravirt.h #define PV_RESTORE_REGS(set)			\