diff --git a/drivers/executor/src/lib.rs b/drivers/executor/src/lib.rs
index 80188cce2f..b6ad0ad1ff 100644
--- a/drivers/executor/src/lib.rs
+++ b/drivers/executor/src/lib.rs
@@ -187,7 +187,8 @@ impl<Hw: Hardware> LocalExecutor<Hw> {
         if self.intx {
             let mut buf = [0_u8; core::mem::size_of::<usize>()];
             if (&self.irq_handle).read(&mut buf).unwrap() != 0 {
-                (&self.irq_handle).write_all(&buf).unwrap();
+                let amount = (&self.irq_handle).write(&buf).unwrap();
+                assert!(amount == core::mem::size_of::<usize>());
             }
         }
 
diff --git a/drivers/inputd/src/lib.rs b/drivers/inputd/src/lib.rs
index 8554f50855..f46ba4bbdb 100644
--- a/drivers/inputd/src/lib.rs
+++ b/drivers/inputd/src/lib.rs
@@ -205,7 +205,8 @@ impl ProducerHandle {
     }
 
     pub fn write_event(&mut self, event: orbclient::Event) -> io::Result<()> {
-        self.0.write_all(&event)?;
+        let amount = self.0.write(&event)?;
+        assert!(amount == core::mem::size_of::<orbclient::Event>());
         Ok(())
     }
 }