* @APPLE_OSREFERENCE_LICENSE_HEADER_END@
*/
#ifndef _ARM_CACHES_INTERNAL
-#define _ARM_CACHES_INTERNAL 1
+#define _ARM_CACHES_INTERNAL 1
#include <arm/proc_reg.h>
extern void invalidate_icache(vm_offset_t addr, unsigned cnt, int phys);
extern void invalidate_icache64(addr64_t addr, unsigned cnt, int phys);
-#if __ARM_SMP__ && defined(ARMA7)
+#if defined(ARMA7)
#define LWFlush 1
#define LWClean 2
extern void cache_xcall(unsigned int op);
* This is the one you need unless you really know what
* you're doing.
*/
-extern void CleanPoC_DcacheRegion(vm_offset_t va, unsigned length);
+extern void CleanPoC_DcacheRegion(vm_offset_t va, size_t length);
/*
* Always actually flushes the cache, even on platforms
- * where AP caches are snooped by all agents. You
+ * where AP caches are snooped by all agents. You
* probably don't need to use this. Intended for use in
* panic save routine (where caches will be yanked by reset
* and coherency doesn't help).
*/
-extern void CleanPoC_DcacheRegion_Force(vm_offset_t va, unsigned length);
+extern void CleanPoC_DcacheRegion_Force(vm_offset_t va, size_t length);
-extern void CleanPoU_DcacheRegion(vm_offset_t va, unsigned length);
+extern void CleanPoU_DcacheRegion(vm_offset_t va, size_t length);
extern void FlushPoC_Dcache(void);
extern void FlushPoU_Dcache(void);
-extern void FlushPoC_DcacheRegion(vm_offset_t va, unsigned length);
+extern void FlushPoC_DcacheRegion(vm_offset_t va, size_t length);
-#ifdef __arm__
+#ifdef __arm__
extern void invalidate_mmu_cache(void);
extern void invalidate_mmu_dcache(void);
-extern void invalidate_mmu_dcache_region(vm_offset_t va, unsigned length);
+extern void invalidate_mmu_dcache_region(vm_offset_t va, size_t length);
#endif
extern void InvalidatePoU_Icache(void);
-extern void InvalidatePoU_IcacheRegion(vm_offset_t va, unsigned length);
+extern void InvalidatePoU_IcacheRegion(vm_offset_t va, size_t length);
-extern void cache_sync_page(ppnum_t pp);
+extern void cache_sync_page(ppnum_t pp);
extern void platform_cache_init(void);
extern void platform_cache_idle_enter(void);