/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. */ |