1 // SPDX-License-Identifier: GPL-2.0
2 // Copyright (C) 2005-2017 Andes Technology Corporation
4 #ifndef __NDS32_PROCFNS_H__
5 #define __NDS32_PROCFNS_H__
11 struct vm_area_struct
;
12 extern void cpu_proc_init(void);
13 extern void cpu_proc_fin(void);
14 extern void cpu_do_idle(void);
15 extern void cpu_reset(unsigned long reset
);
16 extern void cpu_switch_mm(struct mm_struct
*mm
);
18 extern void cpu_dcache_inval_all(void);
19 extern void cpu_dcache_wbinval_all(void);
20 extern void cpu_dcache_inval_page(unsigned long page
);
21 extern void cpu_dcache_wb_page(unsigned long page
);
22 extern void cpu_dcache_wbinval_page(unsigned long page
);
23 extern void cpu_dcache_inval_range(unsigned long start
, unsigned long end
);
24 extern void cpu_dcache_wb_range(unsigned long start
, unsigned long end
);
25 extern void cpu_dcache_wbinval_range(unsigned long start
, unsigned long end
);
27 extern void cpu_icache_inval_all(void);
28 extern void cpu_icache_inval_page(unsigned long page
);
29 extern void cpu_icache_inval_range(unsigned long start
, unsigned long end
);
31 extern void cpu_cache_wbinval_page(unsigned long page
, int flushi
);
32 extern void cpu_cache_wbinval_range(unsigned long start
,
33 unsigned long end
, int flushi
);
34 extern void cpu_cache_wbinval_range_check(struct vm_area_struct
*vma
,
36 unsigned long end
, bool flushi
,
39 extern void cpu_dma_wb_range(unsigned long start
, unsigned long end
);
40 extern void cpu_dma_inval_range(unsigned long start
, unsigned long end
);
41 extern void cpu_dma_wbinval_range(unsigned long start
, unsigned long end
);
43 #endif /* __KERNEL__ */
44 #endif /* __NDS32_PROCFNS_H__ */