Use log functions where appropriate

1 files changed, 2 insertions, 2 deletions

diff --git a/arch/x86/machine/pmap.c b/arch/x86/machine/pmap.c
index 1aab9cc..0520c13 100644
--- a/arch/x86/machine/pmap.c
+++ b/arch/x86/machine/pmap.c
@@ -20,7 +20,6 @@
 
 #include <assert.h>
 #include <stddef.h>
-#include <stdio.h>
 #include <string.h>
 
 #include <kern/cpumap.h>
@@ -28,6 +27,7 @@
 #include <kern/init.h>
 #include <kern/kmem.h>
 #include <kern/list.h>
+#include <kern/log.h>
 #include <kern/macros.h>
 #include <kern/mutex.h>
 #include <kern/panic.h>
@@ -1162,7 +1162,7 @@ pmap_enter_local(struct pmap *pmap, uintptr_t va, phys_addr_t pa,
             page = vm_page_alloc(0, VM_PAGE_SEL_DIRECTMAP, VM_PAGE_PMAP);
 
             if (page == NULL) {
-                printf("pmap: warning: page table page allocation failure\n");
+                log_warning("pmap: page table page allocation failure");
                 return ERROR_NOMEM;
             }