[Lguest] [PATCH RFC/RFB] x86_64, i386: interrupt dispatch changes

[Jeremy Fitzhardinge]

H. Peter Anvin wrote:
> - we can no longer redirect a stub away from common code by
>   changing the branch in that slot.  We have to instead modify
>   the IDT.  This means "dedicated" interrupts don't get the
>   vector number at all, which is probably fine -- to be honest,
>   I'm not sure if they do at the moment either.
>   

They do, and the various patches to multiplex things like IPIs across 
multiple vectors rely on it.

    J