|
@@ -927,6 +927,15 @@ extern void default_banner(void);
|
|
|
PARA_SITE(PARA_PATCH(pv_cpu_ops, PV_CPU_usergs_sysret64), \
|
|
|
CLBR_NONE, \
|
|
|
jmp PARA_INDIRECT(pv_cpu_ops+PV_CPU_usergs_sysret64))
|
|
|
+
|
|
|
+#ifdef CONFIG_DEBUG_ENTRY
|
|
|
+#define SAVE_FLAGS(clobbers) \
|
|
|
+ PARA_SITE(PARA_PATCH(pv_irq_ops, PV_IRQ_save_fl), clobbers, \
|
|
|
+ PV_SAVE_REGS(clobbers | CLBR_CALLEE_SAVE); \
|
|
|
+ call PARA_INDIRECT(pv_irq_ops+PV_IRQ_save_fl); \
|
|
|
+ PV_RESTORE_REGS(clobbers | CLBR_CALLEE_SAVE);)
|
|
|
+#endif
|
|
|
+
|
|
|
#endif /* CONFIG_X86_32 */
|
|
|
|
|
|
#endif /* __ASSEMBLY__ */
|