Don't pass on SPECIAL_NONE interrupt.

Currently it witholds SPECIAL_START, which is actually SPECIAL_SECURE. This appears to be a typo, but I'm happy to be corrected (in which case I will have to deal with SPECIAL_NONE in my application).
google · Jan 28, 2025 · 0229d45 · 0229d45
1 parent 9418750
commit 0229d45
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/gicv2.rs b/src/gicv2.rs
@@ -181,7 +181,7 @@ impl GicV2 {
         unsafe {
             intid = (&raw mut (*self.gicc).aiar).read_volatile() as u32;
         }
-        if intid == IntId::SPECIAL_START {
+        if IntId(intid) == IntId::SPECIAL_NONE {
             None
         } else {
             Some(IntId(intid))

diff --git a/src/gicv3.rs b/src/gicv3.rs
@@ -302,7 +302,7 @@ impl GicV3 {
     /// Returns `None` if there is no pending interrupt of sufficient priority.
     pub fn get_and_acknowledge_interrupt() -> Option<IntId> {
         let intid = read_icc_iar1_el1() as u32;
-        if intid == IntId::SPECIAL_START {
+        if IntId(intid) == IntId::SPECIAL_NONE {
             None
         } else {
             Some(IntId(intid))