Enable paging in bootloader

[nameless-os.git] / include / arch / x86 / mm / paging.h

diff --git a/include/arch/x86/mm/paging.h b/include/arch/x86/mm/paging.h
index 7d5d13f7697874824e1710d5a8157f47327729ad..a4bdf227b498e9cb6292f8e8c81002adf1615fb0 100644 (file)
--- a/include/arch/x86/mm/paging.h
+++ b/include/arch/x86/mm/paging.h
@@ -32,7 +32,4 @@ struct pf_errcode {
        unsigned p: 1, wr: 1, us: 1, rsvd: 1, id: 1, pk: 1, ss: 1, hlat: 1, reserved: 7, sgx: 1, reserved2: 15;
 } __attribute__((packed));
 
-extern inline void slice_linear_addr(void *address, short *pde, short *pte, short *offset);
-extern inline void enable_paging();
-
 #endif