summaryrefslogtreecommitdiff
path: root/src/dev
diff options
context:
space:
mode:
Diffstat (limited to 'src/dev')
-rw-r--r--src/dev/arm/gic.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dev/arm/gic.cc b/src/dev/arm/gic.cc
index d8feec49a..df4edde91 100644
--- a/src/dev/arm/gic.cc
+++ b/src/dev/arm/gic.cc
@@ -564,7 +564,7 @@ Gic::updateIntState(int hint)
*/
if ((bits(intEnabled[x], y) & bits(pendingInt[x], y)) &&
(intPriority[int_nm] < highest_pri))
- if (mp_sys || (cpuTarget[int_nm] & (1 << cpu))) {
+ if ( (!mp_sys) || (cpuTarget[int_nm] & (1 << cpu))) {
highest_pri = intPriority[int_nm];
highest_int = int_nm;
}