|
|
| version 1.10, 2004/02/20 16:09:04 | version 1.12, 2004/03/09 14:14:05 |
|---|---|
| Line 78 ia32_init(void) | Line 78 ia32_init(void) |
| } | } |
| resolve_init(); | resolve_init(); |
| #if defined(IA32_SUPPORT_TLB) | |
| tlb_init(); | |
| #endif | |
| #ifdef USE_FPU | #ifdef USE_FPU |
| fpu_init(); | fpu_init(); |
| #endif | #endif |
| Line 130 change_pm(BOOL onoff) | Line 127 change_pm(BOOL onoff) |
| CPU_STAT_SS32 = 0; | CPU_STAT_SS32 = 0; |
| CPU_SET_CPL(0); | CPU_SET_CPL(0); |
| CPU_STAT_PM = onoff; | CPU_STAT_PM = onoff; |
| tlb_flush(TRUE); | |
| } | } |
| void FASTCALL | void FASTCALL |
| Line 142 change_pg(BOOL onoff) | Line 141 change_pg(BOOL onoff) |
| VERBOSE(("Leaveing from Paging-Mode...")); | VERBOSE(("Leaveing from Paging-Mode...")); |
| } | } |
| CPU_STAT_PAGING = onoff; | CPU_STAT_PAGING = onoff; |
| tlb_flush(TRUE); | |
| } | } |
| void FASTCALL | void FASTCALL |