Minor corrections

include/asm.h

@@ -136,6 +136,11 @@ static inline ulong KeReadStsc(void) {
     return ((ulong)edx << 32) + eax;
 }
 
+static inline void KeFlushTlbSingle(unsigned long addr)
+{
+   asm volatile("invlpg (%0)" ::"r" (addr) : "memory");
+}
+
 //------------------------------------------//
 //                Misc. I/O                 //
 //------------------------------------------//

include/mm/mm.h

@@ -41,7 +41,7 @@
 #define BADRAM_ZONE       5     // Invalid zone because material problem...
 #define MAX_ENTRIES       2048  // Max number of memory map entries
 #define KPAGESIZE (4 * KB)
-#define UPAGESIZE (2 * MB)
+#define UPAGESIZE (4 * KB)
 
 //----------------------------------------------------------------------------//
 

kaleid/kernel/ke/isr.asm

@@ -58,10 +58,11 @@ isrPreHandler:
     push rax
 
     ; Check if we are switching from user mode to supervisor mode
-    ;mov rax, [rsp + 152]
-    ;and rax, 0x3000
-    ;jz .SEnter
-    ;swapgs ; XXX need TSS
+    mov rax, [rsp + 152]
+    and rax, 0x3000
+    jz .SEnter
+
+    swapgs ; XXX need TSS
 
 .SEnter:
     ; Increment mask count as we configure all interrupts to mask IF