diff --git a/src/kernel/paging.h b/src/kernel/paging.h
index 7c5000e..921524f 100644
--- a/src/kernel/paging.h
+++ b/src/kernel/paging.h
@@ -3,6 +3,11 @@
 #include "kint.h"
 #include "registers.h"
 
+#define VIRT_TO_PHYS(virt) ((uint)(virt) - 0xC0000000)
+#define PHYS_TO_VIRT(phys) ((uint)(phys) + 0xC0000000)
+#define KERNEL_VIRTUAL_BASE 0xC0000000
+#define KERNEL_PAGE_NUMBER (KERNEL_VIRTUAL_BASE >> 22)
+
 /* defined in switch_table.s */
 extern uint load_page_directory(uint table_address);
 extern void enable_paging();
@@ -12,6 +17,6 @@
 void *kmalloc_a(size_t size);
 void *kmalloc_ap(size_t size, void **p);
 
-void initialize_paging();
+void init_paging();
 
 void page_fault(struct registers *regs);