On Mon, 2013-10-21 at 17:57 +0800, Tiejun Chen wrote: > +#ifdef CONFIG_64BIT > + /* > + * We enter with interrupts disabled in hardware, but > + * we need to call SOFT_DISABLE_INTS anyway to ensure > + * that the software state is kept in sync. > + */ > + RECONCILE_IRQ_STATE(r3,r5) > +#endif s/SOFT_DISABLE_INTS/RECONCILE_IRQ_STATE/ in the comment. -Scott -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html