module/warm_ops.h

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