K 10
svn:author
V 3
mav
K 8
svn:date
V 27
2020-07-24T20:44:50.663735Z
K 7
svn:log
V 119
Use APIC_IPI_DEST_OTHERS for bitmapped IPIs too.

It should save bunch of LAPIC register accesses.

MFC after:	2 weeks

END