578592b566
According to SDM 10.6.1, if dest fields is 0xffU for register ICR operation, that means the IPI is for broadcast. According to SDM 10.12.9, 0xffffffffU of dest fields for x2APIC means IPI is for broadcast. We add new parameter to vlapic_calc_dest() to show whether the dest is for broadcast. For IPI, we will set it according to dest fields. For ioapic and MSI, we hardcode it to false because no broadcast for ioapic and MSI. Tracked-On: #3003 Signed-off-by: Yin Fengwei <fengwei.yin@intel.com> Acked-by: Eddie Dong <eddie.dong@intel.com> |
||
|---|---|---|
| .. | ||
| hv_main.c | ||
| hypercall.c | ||
| ptdev.c | ||
| schedule.c | ||
| softirq.c | ||
| stack_protector.c | ||
| static_checks.c | ||
| trusty_hypercall.c | ||
| vm_load.c | ||