41c41
< * $FreeBSD: head/sys/arm/include/cpufunc.h 139735 2005-01-05 21:58:49Z imp $
---
> * $FreeBSD: head/sys/arm/include/cpufunc.h 146948 2005-06-03 19:49:53Z cognet $
325,330c325,326
< void arm9_cache_flushID (void);
< void arm9_cache_flushID_SE (u_int);
< void arm9_cache_flushI (void);
< void arm9_cache_flushI_SE (u_int);
< void arm9_cache_flushD (void);
< void arm9_cache_flushD_SE (u_int);
---
> void arm9_icache_sync_all __P((void));
> void arm9_icache_sync_range __P((vm_offset_t, vm_size_t));
332c328,331
< void arm9_cache_cleanID (void);
---
> void arm9_dcache_wbinv_all __P((void));
> void arm9_dcache_wbinv_range __P((vm_offset_t, vm_size_t));
> void arm9_dcache_inv_range __P((vm_offset_t, vm_size_t));
> void arm9_dcache_wb_range __P((vm_offset_t, vm_size_t));
334,337c333,334
< void arm9_cache_syncI (void);
< void arm9_cache_flushID_rng (vm_offset_t, vm_size_t);
< void arm9_cache_flushD_rng (vm_offset_t, vm_size_t);
< void arm9_cache_syncI_rng (vm_offset_t, vm_size_t);
---
> void arm9_idcache_wbinv_all __P((void));
> void arm9_idcache_wbinv_range __P((vm_offset_t, vm_size_t));
341a339,343
>
> extern unsigned arm9_dcache_sets_max;
> extern unsigned arm9_dcache_sets_inc;
> extern unsigned arm9_dcache_index_max;
> extern unsigned arm9_dcache_index_inc;
< * $FreeBSD: head/sys/arm/include/cpufunc.h 139735 2005-01-05 21:58:49Z imp $
---
> * $FreeBSD: head/sys/arm/include/cpufunc.h 146948 2005-06-03 19:49:53Z cognet $
325,330c325,326
< void arm9_cache_flushID (void);
< void arm9_cache_flushID_SE (u_int);
< void arm9_cache_flushI (void);
< void arm9_cache_flushI_SE (u_int);
< void arm9_cache_flushD (void);
< void arm9_cache_flushD_SE (u_int);
---
> void arm9_icache_sync_all __P((void));
> void arm9_icache_sync_range __P((vm_offset_t, vm_size_t));
332c328,331
< void arm9_cache_cleanID (void);
---
> void arm9_dcache_wbinv_all __P((void));
> void arm9_dcache_wbinv_range __P((vm_offset_t, vm_size_t));
> void arm9_dcache_inv_range __P((vm_offset_t, vm_size_t));
> void arm9_dcache_wb_range __P((vm_offset_t, vm_size_t));
334,337c333,334
< void arm9_cache_syncI (void);
< void arm9_cache_flushID_rng (vm_offset_t, vm_size_t);
< void arm9_cache_flushD_rng (vm_offset_t, vm_size_t);
< void arm9_cache_syncI_rng (vm_offset_t, vm_size_t);
---
> void arm9_idcache_wbinv_all __P((void));
> void arm9_idcache_wbinv_range __P((vm_offset_t, vm_size_t));
341a339,343
>
> extern unsigned arm9_dcache_sets_max;
> extern unsigned arm9_dcache_sets_inc;
> extern unsigned arm9_dcache_index_max;
> extern unsigned arm9_dcache_index_inc;