Home | History | Annotate | Download | only in lib 
      1 // SPDX-License-Identifier: GPL-2.0+
      2 /*
      3  * Copyright (C) 2017 Andes Technology Corporation
      4  * Rick Chen, Andes Technology Corporation <rick (at) andestech.com>
      5  */
      6 
      7 #include <common.h>
      8 
      9 void flush_dcache_range(unsigned long start, unsigned long end)
     10 {
     11 }
     12 
     13 void invalidate_icache_range(unsigned long start, unsigned long end)
     14 {
     15 }
     16 
     17 void invalidate_dcache_range(unsigned long start, unsigned long end)
     18 {
     19 }
     20 
     21 void flush_cache(unsigned long addr, unsigned long size)
     22 {
     23 }
     24 
     25 void icache_enable(void)
     26 {
     27 }
     28 
     29 void icache_disable(void)
     30 {
     31 }
     32 
     33 int icache_status(void)
     34 {
     35 	return 0;
     36 }
     37 
     38 void dcache_enable(void)
     39 {
     40 }
     41 
     42 void dcache_disable(void)
     43 {
     44 }
     45 
     46 int dcache_status(void)
     47 {
     48 	return 0;
     49 }
     50