From 54143900786495c1c7637475013c8e48ea9a4033 Mon Sep 17 00:00:00 2001
From: Kevin Boos <kevinaboos@gmail.com>
Date: Wed, 8 Nov 2023 13:08:56 -0800
Subject: [PATCH] always specify <P> or <Page4K> parameters even when not
 needed, just for the sake of explicit clarity

---
 kernel/page_allocator/src/lib.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/page_allocator/src/lib.rs b/kernel/page_allocator/src/lib.rs
index 43b9fba3ef..558c8d7d28 100644
--- a/kernel/page_allocator/src/lib.rs
+++ b/kernel/page_allocator/src/lib.rs
@@ -230,7 +230,7 @@ impl<P: PageSize> AllocatedPages<P> {
     /// Can be used as a placeholder, but will not permit any real usage. 
     pub const fn empty() -> AllocatedPages<P> {
         AllocatedPages {
-			pages: PageRange::empty()
+			pages: PageRange::<P>::empty()
 		}
 	}