-#include "warm.h"
-
-invalidate_icache_region:
- mov r2,r1
- mov r1,r0
- mov r0,#WOP_I_INVALIDATE
- b warm_cache_op_range
-
-invalidate_cache_region:
- sub r2,r1,r0
- mov r1,r0
- mov r0,#(WOP_D_CLEAN|WOP_I_INVALIDATE)
- b warm_cache_op_range
-
-@ mov r2, #0
-@ swi 0x9f0002
-
-@ bx lr
-
-