diff --git a/arch/x86/scc/icc.c b/arch/x86/scc/icc.c index 1d3b4df7..442f2158 100644 --- a/arch/x86/scc/icc.c +++ b/arch/x86/scc/icc.c @@ -176,6 +176,25 @@ int icc_init(void) kprintf("set L2CFG to 0x%x\n", (uint32_t) tmp); #endif + tmp=ReadConfigReg(CRB_OWN + (z==0 ? L2CFG0 : L2CFG1)); + kputs("In the config registers is the L2 cache "); + if (tmp & (1 << L2CFG_WAYDISABLE_BIT)) + kputs("disabled!\n"); + else + kputs("enabled!\n"); + + kputs("In CR0 is caching "); + if (read_cr0() & (1 << 30)) + kputs("disabled!\n"); + else + kputs("enabled!\n"); + + kputs("In CR0 is writethrough caching "); + if (read_cr0() & (1 << 29)) + kputs("enabled!\n"); + else + kputs("disabled!\n"); + // set interrupt handler (INTR/LINT0) irq_install_handler(124, intr_handler);