From 7b76ddda34076ad9331a07d2a8cd5257a304e3b8 Mon Sep 17 00:00:00 2001 From: Kevin Alavik Date: Wed, 14 May 2025 20:25:56 +0200 Subject: [PATCH] feat/kernel: Make use of proper IS_PAGE_ALIGNED --- kernel/src/arch/paging.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/src/arch/paging.c b/kernel/src/arch/paging.c index 10fba0b..0cd1056 100644 --- a/kernel/src/arch/paging.c +++ b/kernel/src/arch/paging.c @@ -186,7 +186,7 @@ int vunmap(uint64_t *pagemap, uint64_t virt) void paging_init(void) { kernel_pagemap = palloc(1, true); - if (!kernel_pagemap || ((uint64_t)kernel_pagemap & (PAGE_SIZE - 1))) + if (!kernel_pagemap || !IS_PAGE_ALIGNED((uint64_t)kernel_pagemap)) { kpanic(NULL, "Failed to allocate kernel pagemap"); }