diff options
-rw-r--r-- | hw/arm_gic.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/hw/arm_gic.c b/hw/arm_gic.c index e6b195324b..0e934ecd64 100644 --- a/hw/arm_gic.c +++ b/hw/arm_gic.c @@ -549,10 +549,10 @@ static void gic_dist_writel(void *opaque, target_phys_addr_t offset, mask = (value >> 16) & ALL_CPU_MASK; break; case 1: - mask = 1 << cpu; + mask = ALL_CPU_MASK ^ (1 << cpu); break; case 2: - mask = ALL_CPU_MASK ^ (1 << cpu); + mask = 1 << cpu; break; default: DPRINTF("Bad Soft Int target filter\n"); |