view: Ignore masks for fields that span the entire register

marv7000 · marv7000 · commit 71981bb06a85 · 2026-04-06T02:34:11.000+02:00
diff --git a/kernel/src/memory/view.rs b/kernel/src/memory/view.rs
@@ -11,8 +11,12 @@ pub struct BitValue<T: PrimInt> {
 }
 
 fn field_mask<T: PrimInt, A: PrimInt + Into<T>>(field: Field<T, A>) -> T {
-    let mask: T = A::one().into();
-    (mask << field.bit_width) - A::one().into()
+    if field.bit_width == size_of::<T>() * 8 {
+        T::max_value()
+    } else {
+        let mask: T = A::one().into();
+        (mask << field.bit_width) - A::one().into()
+    }
 }
 
 impl<T: PrimInt> BitValue<T> {

Original file line number	Diff line number	Diff line change
`@@ -11,8 +11,12 @@ pub struct BitValue<T: PrimInt> {`
`11`	`11`	`}`
`12`	`12`
`13`	`13`	`fn field_mask<T: PrimInt, A: PrimInt + Into<T>>(field: Field<T, A>) -> T {`
`14`		`- let mask: T = A::one().into();`
`15`		`- (mask << field.bit_width) - A::one().into()`
	`14`	`+ if field.bit_width == size_of::<T>() * 8 {`
	`15`	`+ T::max_value()`
	`16`	`+ } else {`
	`17`	`+ let mask: T = A::one().into();`
	`18`	`+ (mask << field.bit_width) - A::one().into()`
	`19`	`+ }`
`16`	`20`	`}`
`17`	`21`
`18`	`22`	`impl<T: PrimInt> BitValue<T> {`