|
|
| version 1.15, 2004/03/29 05:50:29 | version 1.17, 2005/03/05 16:47:04 |
|---|---|
| Line 78 ia32_init(void) | Line 78 ia32_init(void) |
| } | } |
| resolve_init(); | resolve_init(); |
| #ifdef USE_FPU | |
| fpu_init(); | |
| #endif | |
| } | } |
| void | void |
| Line 150 change_pm(BOOL onoff) | Line 147 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 164 change_pg(BOOL onoff) | Line 159 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 |