-tPAddr *gaPageTable = (void*)PAGE_TABLE_ADDR;
-tPAddr *gaPageDir = (void*)PAGE_DIR_ADDR;
-tPAddr *gaPageCR3 = (void*)PAGE_CR3_ADDR;
-tPAddr *gaTmpTable = (void*)TMP_TABLE_ADDR;
-tPAddr *gaTmpDir = (void*)TMP_DIR_ADDR;
-tPAddr *gTmpCR3 = (void*)TMP_CR3_ADDR;
+#define gaPageTable ((tTabEnt*)PAGE_TABLE_ADDR)
+#define gaPageDir ((tTabEnt*)PAGE_DIR_ADDR)
+#define gaPageCR3 ((tTabEnt*)PAGE_CR3_ADDR)
+#define gaTmpTable ((tTabEnt*)TMP_TABLE_ADDR)
+#define gaTmpDir ((tTabEnt*)TMP_DIR_ADDR)
+#define gTmpCR3 ((tTabEnt*)TMP_CR3_ADDR)
+//tPAddr *gaPageTable = (void*)PAGE_TABLE_ADDR;
+//tPAddr *gaPageDir = (void*)PAGE_DIR_ADDR;
+//tPAddr *gaPageCR3 = (void*)PAGE_CR3_ADDR;
+//tPAddr *gaTmpTable = (void*)TMP_TABLE_ADDR;
+//tPAddr *gaTmpDir = (void*)TMP_DIR_ADDR;
+//tPAddr *gTmpCR3 = (void*)TMP_CR3_ADDR;