|
|
| version 1.10, 2004/02/20 16:09:04 | version 1.11, 2004/03/05 14:17:35 |
|---|---|
| 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 |