diff --git a/arch/src/aarch64/gic/icc_regs.rs b/arch/src/aarch64/gic/icc_regs.rs
index a586bb8d1..e151367f0 100644
--- a/arch/src/aarch64/gic/icc_regs.rs
+++ b/arch/src/aarch64/gic/icc_regs.rs
@@ -91,8 +91,7 @@ fn icc_attr_access(
         flags: 0,
     };
     if set {
-        #[allow(clippy::unnecessary_mut_passed)]
-        gic.set_device_attr(&mut gic_icc_attr)
+        gic.set_device_attr(&gic_icc_attr)
             .map_err(Error::SetDeviceAttribute)?;
     } else {
         gic.get_device_attr(&mut gic_icc_attr)
diff --git a/arch/src/aarch64/gic/redist_regs.rs b/arch/src/aarch64/gic/redist_regs.rs
index d886ea646..6e648e94a 100644
--- a/arch/src/aarch64/gic/redist_regs.rs
+++ b/arch/src/aarch64/gic/redist_regs.rs
@@ -96,8 +96,7 @@ fn redist_attr_access(
         flags: 0,
     };
     if set {
-        #[allow(clippy::unnecessary_mut_passed)]
-        gic.set_device_attr(&mut gic_dist_attr)
+        gic.set_device_attr(&gic_dist_attr)
             .map_err(Error::SetDeviceAttribute)?;
     } else {
         gic.get_device_attr(&mut gic_dist_attr)