tree df26f1a67d74a00fc4a46948d8b15557509fcefd
parent a256bda580c9f77ab3217e40fe9df910d8382c39
author Barret Rhoden <brho@cs.berkeley.edu> 1645651935 -0500
committer Barret Rhoden <brho@cs.berkeley.edu> 1645651935 -0500

x86: vmm: support dst_shorthand APIC IPIs

There are a couple bits in the ICR that specify things like 'broadcast'
and 'self'.  Linux uses these if nr_cpus > 2.

Note that we have to do the check in the kernel too.  The kernel gets
first dibs on resolving an vmexit.  That took a couple hours to figure
out...

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>