text: /*
   * Copyright (c) 2010 Samsung Electronics.
   * Minkyu Kang <mk7.kang@samsung.com>
   *
   * SPDX-License-Identifier:	GPL-2.0+
   */
  
  #include <common.h>
  #include <asm/io.h>
  #include <asm/system.h>
  
  void reset_cpu(ulong addr)
  {
  	writel(0x1, samsung_get_base_swreset());
  }
  
  #ifndef CONFIG_SYS_DCACHE_OFF
  void enable_caches(void)
  {
  	/* Enable D-cache. I-cache is already enabled in start.S */
  	dcache_enable();
  }
  #endif
  