diff --git a/src/page_table.rs b/src/page_table.rs
index 2163c3a2..62a2be07 100644
--- a/src/page_table.rs
+++ b/src/page_table.rs
@@ -17,7 +17,11 @@ pub struct MemoryInfo {
 
 #[derive(Debug)]
 pub enum MapKernelError {
-    Mapping(MapToError<Size4KiB>),
+    Mapping(
+        /// This field is never read, but still printed as part of the Debug output on error.
+        #[allow(dead_code)]
+        MapToError<Size4KiB>,
+    ),
     MultipleTlsSegments,
 }