Lines Matching refs:vm_offset_t

50 void	mipsNN_icache_sync_range_16(vm_offset_t, vm_size_t);
51 void	mipsNN_icache_sync_range_32(vm_offset_t, vm_size_t);
52 void	mipsNN_icache_sync_range_64(vm_offset_t, vm_size_t);
53 void	mipsNN_icache_sync_range_128(vm_offset_t, vm_size_t);
54 void	mipsNN_icache_sync_range_index_16(vm_offset_t, vm_size_t);
55 void	mipsNN_icache_sync_range_index_32(vm_offset_t, vm_size_t);
56 void	mipsNN_icache_sync_range_index_64(vm_offset_t, vm_size_t);
57 void	mipsNN_icache_sync_range_index_128(vm_offset_t, vm_size_t);
62 void	mipsNN_pdcache_wbinv_range_16(vm_offset_t, vm_size_t);
63 void	mipsNN_pdcache_wbinv_range_32(vm_offset_t, vm_size_t);
64 void	mipsNN_pdcache_wbinv_range_64(vm_offset_t, vm_size_t);
65 void	mipsNN_pdcache_wbinv_range_128(vm_offset_t, vm_size_t);
66 void	mipsNN_pdcache_wbinv_range_index_16(vm_offset_t, vm_size_t);
67 void	mipsNN_pdcache_wbinv_range_index_32(vm_offset_t, vm_size_t);
68 void	mipsNN_pdcache_wbinv_range_index_64(vm_offset_t, vm_size_t);
69 void	mipsNN_pdcache_wbinv_range_index_128(vm_offset_t, vm_size_t);
70 void	mipsNN_pdcache_inv_range_16(vm_offset_t, vm_size_t);
71 void	mipsNN_pdcache_inv_range_32(vm_offset_t, vm_size_t);
72 void	mipsNN_pdcache_inv_range_64(vm_offset_t, vm_size_t);
73 void	mipsNN_pdcache_inv_range_128(vm_offset_t, vm_size_t);
74 void	mipsNN_pdcache_wb_range_16(vm_offset_t, vm_size_t);
75 void	mipsNN_pdcache_wb_range_32(vm_offset_t, vm_size_t);
76 void	mipsNN_pdcache_wb_range_64(vm_offset_t, vm_size_t);
77 void	mipsNN_pdcache_wb_range_128(vm_offset_t, vm_size_t);
81 void	mipsNN_sdcache_wbinv_range_32(vm_offset_t, vm_size_t);
82 void	mipsNN_sdcache_wbinv_range_64(vm_offset_t, vm_size_t);
83 void	mipsNN_sdcache_wbinv_range_128(vm_offset_t, vm_size_t);
84 void	mipsNN_sdcache_wbinv_range_index_32(vm_offset_t, vm_size_t);
85 void	mipsNN_sdcache_wbinv_range_index_64(vm_offset_t, vm_size_t);
86 void	mipsNN_sdcache_wbinv_range_index_128(vm_offset_t, vm_size_t);
87 void	mipsNN_sdcache_inv_range_32(vm_offset_t, vm_size_t);
88 void	mipsNN_sdcache_inv_range_64(vm_offset_t, vm_size_t);
89 void	mipsNN_sdcache_inv_range_128(vm_offset_t, vm_size_t);
90 void	mipsNN_sdcache_wb_range_32(vm_offset_t, vm_size_t);
91 void	mipsNN_sdcache_wb_range_64(vm_offset_t, vm_size_t);
92 void	mipsNN_sdcache_wb_range_128(vm_offset_t, vm_size_t);