On Wed, Jun 13, 2012 at 12:02:42PM +0300, Michael S. Tsirkin wrote: > > Instead of isr_cache what about a highest_isr field? > > > > > When setting ISR: > > > > if (apic->highest_isr < me) > > apic->highest_isr = me; > > > > To be invalidated on TPR updates properly. > > > > Its more meaningful. > > OK, I'll rename it highest_isr
Even better - highest_isr_cache. Makes it explicit that it can be invalid. -- MST -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html
