> > external_interrupt() is always available on x86_64, even when CONFIG_X86_FRED > > is not defined. I prefer to always call external_interrupt() on x86_64 for IRQ > > handling, which avoids re-entering noinstr code. how do you think? Too > > aggressive? > > I think it's completely orthogonal to FRED enabling. If you or anyone else wants > to convert the non-FRED handling to external_interrupt(), then do so after FRED > lands, or at the very least in a separate patch after enabling FRED in KVM. That sounds a reasonable plan.