From 5591c56ead82611017c7e1d4ec483e95cef95fe2 Mon Sep 17 00:00:00 2001
From: Tom Dohrmann <erbse.13@gmx.de>
Date: Thu, 29 Aug 2024 06:35:42 +0000
Subject: [PATCH] ramfs: use drain instead of while loop + pop

drain is shorter and faster :)

Signed-off-by: Tom Dohrmann <erbse.13@gmx.de>
---
 kernel/src/fs/ramfs.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/kernel/src/fs/ramfs.rs b/kernel/src/fs/ramfs.rs
index f1d133ded..a5de56805 100644
--- a/kernel/src/fs/ramfs.rs
+++ b/kernel/src/fs/ramfs.rs
@@ -206,8 +206,7 @@ impl RawRamFile {
         };
 
         // Clear pages and remove them from the file
-        while self.pages.len() > new_pages {
-            let page_ref = self.pages.pop().unwrap();
+        for page_ref in self.pages.drain(new_pages..) {
             page_ref.fill(0, 0);
         }