/*
   * This file contains stub implementation of
   *   invalidate_dcache_range()
   *   flush_dcache_range()
   *
   * SPDX-License-Identifier:	GPL-2.0+
   */
  
  void invalidate_dcache_range(unsigned long start, unsigned long stop)
  {
  }
  
  void flush_dcache_range(unsigned long start, unsigned long stop)
  {
  }