From e11298e56be560de64bbccfe74fef7ff85c623d1 Mon Sep 17 00:00:00 2001
From: Aleksa Vuckovic <aleksav013@gmail.com>
Date: Mon, 8 Aug 2022 21:25:55 +0200
Subject: stdio.h; gcc $(WARNINGS)

---
 kernel/include/paging.h | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'kernel/include/paging.h')

diff --git a/kernel/include/paging.h b/kernel/include/paging.h
index 79d9dea..a61d34d 100644
--- a/kernel/include/paging.h
+++ b/kernel/include/paging.h
@@ -1,6 +1,9 @@
 #ifndef PAGING_H
 #define PAGING_H
 
+#include <types.h>
+
 void init_paging(void);
+void page_fault(uint64_t error);
 
 #endif
-- 
cgit v1.2.3