PV_RESTORE_REGS 1442 include/asm-x86/paravirt.h #define PV_RESTORE_REGS "popl %%edx; popl %%ecx" PV_RESTORE_REGS 1450 include/asm-x86/paravirt.h #define PV_RESTORE_REGS "popq %%rdi;" PV_RESTORE_REGS 1555 include/asm-x86/paravirt.h #define PV_RESTORE_REGS \ PV_RESTORE_REGS 1570 include/asm-x86/paravirt.h #define PV_RESTORE_REGS popl %edx; popl %ecx; popl %edi; popl %eax