--- np2/i386c/ia32/paging.h	2003/12/08 00:55:31	1.1
+++ np2/i386c/ia32/paging.h	2004/01/15 15:50:33	1.3
@@ -1,4 +1,4 @@
-/*	$Id: paging.h,v 1.1 2003/12/08 00:55:31 yui Exp $	*/
+/*	$Id: paging.h,v 1.3 2004/01/15 15:50:33 monaka Exp $	*/
 
 /*
  * Copyright (c) 2003 NONAKA Kimihiro
@@ -93,12 +93,20 @@ void MEMCALL cpu_linear_memory_write(DWO
 		cpu_linear_memory_read(a, 4, TRUE) : \
 		cpu_memoryread_d(a);
 
+#define	set_CR3(cr3) \
+do { \
+	CPU_CR3 = (cr3) & 0xfffff018; \
+	tlb_flush(FALSE); \
+} while (/*CONSTCOND*/ 0)
+
+
 /*
  * TLB function
  */
 void tlb_init();
 void tlb_flush(BOOL allflush);
 void tlb_flush_page(DWORD vaddr);
+
 #ifdef __cplusplus
 }
 #endif