diff --git a/kernel/src/uma/keg.rs b/kernel/src/uma/keg.rs index 388601ab4..5ac8b5ffb 100644 --- a/kernel/src/uma/keg.rs +++ b/kernel/src/uma/keg.rs @@ -195,6 +195,7 @@ impl UmaKeg { return None; } + #[allow(clippy::while_immutable_condition)] // TODO: Remove this. while self.max_pages != 0 && self.max_pages <= self.pages { todo!() }