[arm] add arch_sync_cache_range

Change-Id: Id587d967dd4e9128ca130e1386325cafbeea503a
diff --git a/include/arch/ops.h b/include/arch/ops.h
index 5854b8c..26d0642 100644
--- a/include/arch/ops.h
+++ b/include/arch/ops.h
@@ -51,6 +51,8 @@
 
 void arch_clean_cache_range(addr_t start, size_t len);
 void arch_clean_invalidate_cache_range(addr_t start, size_t len);
+void arch_invalidate_cache_range(addr_t start, size_t len);
+void arch_sync_cache_range(addr_t start, size_t len);
 	
 void arch_idle(void);