diff options
Diffstat (limited to 'src/dev/arm/rtc_pl031.cc')
| -rw-r--r-- | src/dev/arm/rtc_pl031.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dev/arm/rtc_pl031.cc b/src/dev/arm/rtc_pl031.cc index 8896b16eb..99436c280 100644 --- a/src/dev/arm/rtc_pl031.cc +++ b/src/dev/arm/rtc_pl031.cc @@ -191,7 +191,7 @@ PL031::counterMatch() rawInt = true; bool old_pending = pendingInt; pendingInt = maskInt & rawInt; - if (pendingInt && ~old_pending) { + if (pendingInt && !old_pending) { DPRINTF(Timer, "-- Causing interrupt\n"); gic->sendInt(intNum); } |