diff options
| -rw-r--r-- | sys/mips/include/cache_mipsNN.h | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/sys/mips/include/cache_mipsNN.h b/sys/mips/include/cache_mipsNN.h index 3fd75df93e7b..435993b9b72b 100644 --- a/sys/mips/include/cache_mipsNN.h +++ b/sys/mips/include/cache_mipsNN.h @@ -68,14 +68,14 @@ void mipsNN_pdcache_inv_range_128(vm_offset_t, vm_size_t); void mipsNN_pdcache_wb_range_128(vm_offset_t, vm_size_t); #endif void mipsNN_sdcache_wbinv_all_32(void); -void mipsNN_sdcache_wbinv_range_32(vm_paddr_t, vm_size_t); -void mipsNN_sdcache_wbinv_range_index_32(vm_paddr_t, vm_size_t); -void mipsNN_sdcache_inv_range_32(vm_paddr_t, vm_size_t); -void mipsNN_sdcache_wb_range_32(vm_paddr_t, vm_size_t); +void mipsNN_sdcache_wbinv_range_32(vm_offset_t, vm_size_t); +void mipsNN_sdcache_wbinv_range_index_32(vm_offset_t, vm_size_t); +void mipsNN_sdcache_inv_range_32(vm_offset_t, vm_size_t); +void mipsNN_sdcache_wb_range_32(vm_offset_t, vm_size_t); void mipsNN_sdcache_wbinv_all_128(void); -void mipsNN_sdcache_wbinv_range_128(vm_paddr_t, vm_size_t); -void mipsNN_sdcache_wbinv_range_index_128(vm_paddr_t, vm_size_t); -void mipsNN_sdcache_inv_range_128(vm_paddr_t, vm_size_t); -void mipsNN_sdcache_wb_range_128(vm_paddr_t, vm_size_t); +void mipsNN_sdcache_wbinv_range_128(vm_offset_t, vm_size_t); +void mipsNN_sdcache_wbinv_range_index_128(vm_offset_t, vm_size_t); +void mipsNN_sdcache_inv_range_128(vm_offset_t, vm_size_t); +void mipsNN_sdcache_wb_range_128(vm_offset_t, vm_size_t); #endif /* _MACHINE_CACHE_MIPSNN_H_ */ |