#ifndef _ARM_CACHES_INTERNAL
#define _ARM_CACHES_INTERNAL 1
#include <arm/proc_reg.h>
#include <kern/kern_types.h>
extern void flush_dcache_syscall( vm_offset_t addr, unsigned length);
#ifdef MACH_KERNEL_PRIVATE
extern void flush_dcache(vm_offset_t addr, unsigned count, int phys);
extern void flush_dcache64(addr64_t addr, unsigned count, int phys);
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)
#define LWFlush 1
#define LWClean 2
extern void cache_xcall(unsigned int op);
extern void cache_xcall_handler(unsigned int op);
#endif
#endif
extern void clean_dcache(vm_offset_t addr, unsigned count, int phys);
extern void clean_dcache64(addr64_t addr, unsigned count, int phys);
extern void CleanPoC_Dcache(void);
extern void CleanPoU_Dcache(void);
extern void CleanPoC_DcacheRegion(vm_offset_t va, unsigned length);
extern void CleanPoC_DcacheRegion_Force(vm_offset_t va, unsigned length);
extern void CleanPoU_DcacheRegion(vm_offset_t va, unsigned length);
extern void FlushPoC_Dcache(void);
extern void FlushPoU_Dcache(void);
extern void FlushPoC_DcacheRegion(vm_offset_t va, unsigned length);
#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);
#endif
extern void InvalidatePoU_Icache(void);
extern void InvalidatePoU_IcacheRegion(vm_offset_t va, unsigned length);
extern void cache_sync_page(ppnum_t pp);
extern void platform_cache_init(void);
extern void platform_cache_idle_enter(void);
extern void platform_cache_idle_exit(void);
extern void platform_cache_flush(void);
extern boolean_t platform_cache_batch_wimg(unsigned int new_wimg, unsigned int size);
extern void platform_cache_flush_wimg(unsigned int new_wimg);
extern void platform_cache_clean(void);
extern void platform_cache_shutdown(void);
extern void platform_cache_disable(void);
#endif