| /trunk/kernel/arch/sparc64/include/cpu.h |
|---|
| 55,7 → 55,6 |
| uint32_t mid; /**< Processor ID as read from UPA_CONFIG. */ |
| ver_reg_t ver; |
| uint32_t clock_frequency; /**< Processor frequency in MHz. */ |
| int dcache_active; /**< When non-zero, the D-cache is not being shot down. */ |
| }; |
| #endif |
| /trunk/kernel/arch/sparc64/src/cpu/cpu.c |
|---|
| 91,12 → 91,6 |
| dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_NUCLEUS, (uintptr_t) CPU->stack); |
| dtlb_insert_mapping((uintptr_t) CPU->stack, KA2PA(CPU->stack), PAGESIZE_8K, true, true); |
| } |
| /* |
| * Set the D-cache active flag. |
| * Needed for the D-cache to work. |
| */ |
| CPU->arch.dcache_active = 1; |
| } |
| /** Read version information from the current processor. */ |