//------------------------------------------------------------------------------ /// Enable Data cache //------------------------------------------------------------------------------ void CP15_EnableDcache(void) { U32 control; control = CP15_ReadControl(); if( !CP15_IsMMUEnabled() ) { DEBUG_MSG("Do nothing: MMU not enabled"); } else { // Check if cache is disabled if ((control & (1 << CP15_C_BIT)) == 0) { control |= (1 << CP15_C_BIT); CP15_WriteControl(control); DEBUG_MSG("D cache enabled."); } else { DEBUG_MSG("D cache is already enabled."); } } }
//------------------------------------------------------------------------------ /// Enable Data cache //------------------------------------------------------------------------------ void CP15_EnableDcache(void) { unsigned int control; control = CP15_ReadControl(); if( !CP15_IsMMUEnabled() ) { TRACE_ERROR("Do nothing: MMU not enabled\n\r"); } else { // Check if cache is disabled if ((control & (1 << CP15_C_BIT)) == 0) { control |= (1 << CP15_C_BIT); CP15_WriteControl(control); TRACE_INFO("D cache enabled.\n\r"); } else { TRACE_INFO("D cache is already enabled.\n\r"); } } }