+
+#else
+#define DISABLE_INTERRUPTS(clobbers) GET_VCPU_INFO ; \
+ __DISABLE_INTERRUPTS
+#define ENABLE_INTERRUPTS(clobbers) GET_VCPU_INFO ; \
+ __ENABLE_INTERRUPTS
+#define ENABLE_INTERRUPTS_SYSEXIT NET_DONE_YET
+#define INTERRUPT_RETURN iret
+#define GET_CR0_INTO_EAX NOT_DONE_YET
+#endif /* __ASSEMBLY__ */
+#endif /* CONFIG_PARAVIRT */
+
+#ifndef __ASSEMBLY__
+#define raw_local_save_flags(flags) \
+ do { (flags) = __raw_local_save_flags(); } while (0)
+