| 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); |