Cc: Thomas Gleixner <tglx@...>, Linux Kernel Mailing List <linux-kernel@...>, Andi Kleen <andi@...>, Avi Kivity <avi@...>, H. Peter Anvin <hpa@...>, Eric W. Biederman <ebiederm@...>, Keir Fraser <Keir.Fraser@...>
I already have one of those for pv guests, and I think I can reuse it
more or less unchanged.
Yeah, that was my plan.
OK. So if I just used create_irq() that would get me an irq I can use,
but would also end up allocating a vector too.
I'm initially targeting 32-bit, though obviously I'd like something that
works for both 32 and 64 bit. irq_cfg[] is missing in io_apic_32.c;
would I achieve the same effect by setting irq_vector[irq] = 0xff or
something?
Thanks,
J
--