Lines Matching refs:vm_offset_t

135 	void	(*mco_icache_sync_range)(vm_offset_t, vm_size_t);
136 	void	(*mco_icache_sync_range_index)(vm_offset_t, vm_size_t);
139 	void	(*mco_pdcache_wbinv_range)(vm_offset_t, vm_size_t);
140 	void	(*mco_pdcache_wbinv_range_index)(vm_offset_t, vm_size_t);
141 	void	(*mco_pdcache_inv_range)(vm_offset_t, vm_size_t);
142 	void	(*mco_pdcache_wb_range)(vm_offset_t, vm_size_t);
146 	void    (*mco_intern_pdcache_wbinv_range_index)(vm_offset_t, vm_size_t);
147 	void    (*mco_intern_pdcache_wb_range)(vm_offset_t, vm_size_t);
150 	void	(*mco_sdcache_wbinv_range)(vm_offset_t, vm_size_t);
151 	void	(*mco_sdcache_wbinv_range_index)(vm_offset_t, vm_size_t);
152 	void	(*mco_sdcache_inv_range)(vm_offset_t, vm_size_t);
153 	void	(*mco_sdcache_wb_range)(vm_offset_t, vm_size_t);
157 	void    (*mco_intern_sdcache_wbinv_range_index)(vm_offset_t, vm_size_t);
158 	void    (*mco_intern_sdcache_wb_range)(vm_offset_t, vm_size_t);