198a1649 |
1 | #include <linux/kernel.h> |
2 | |
3 | void warm_cop_clean_inval_d(void); |
4 | void warm_cop_clean_d(void); |
5 | void warm_cop_inval_d(void); |
6 | void warm_cop_inval_i(void); |
7 | void warm_cop_drain_wb(void); |
8 | |
9 | void warm_cop_r_clean_d_inval_di(u32 addr, u32 size); |
10 | void warm_cop_r_clean_d_inval_d(u32 addr, u32 size); |
11 | void warm_cop_r_clean_d_inval_i(u32 addr, u32 size); |
12 | void warm_cop_r_clean_d(u32 addr, u32 size); |
13 | void warm_cop_r_inval_di(u32 addr, u32 size); |
14 | void warm_cop_r_inval_d(u32 addr, u32 size); |
15 | void warm_cop_r_inval_i(u32 addr, u32 size); |
16 | |
17 | void warm_drain_wb_inval_tlb(void); |