Home | History | Annotate | Download | only in include

Lines Matching refs:vsize_t

137 	void	(*mco_icache_sync_range)(register_t, vsize_t);
138 	void	(*mco_icache_sync_range_index)(vaddr_t, vsize_t);
141 	void	(*mco_pdcache_wbinv_range)(register_t, vsize_t);
142 	void	(*mco_pdcache_wbinv_range_index)(vaddr_t, vsize_t);
143 	void	(*mco_pdcache_inv_range)(register_t, vsize_t);
144 	void	(*mco_pdcache_wb_range)(register_t, vsize_t);
147 	void	(*mco_intern_icache_sync_range_index)(vaddr_t, vsize_t);
148 	void	(*mco_intern_icache_sync_range)(register_t, vsize_t);
150 	void	(*mco_intern_pdcache_sync_range_index)(vaddr_t, vsize_t);
151 	void	(*mco_intern_pdcache_sync_range)(register_t, vsize_t);
153 	void	(*mco_intern_pdcache_wbinv_range_index)(vaddr_t, vsize_t);
156 	void	(*mco_sdcache_wbinv_range)(register_t, vsize_t);
157 	void	(*mco_sdcache_wbinv_range_index)(vaddr_t, vsize_t);
158 	void	(*mco_sdcache_inv_range)(register_t, vsize_t);
159 	void	(*mco_sdcache_wb_range)(register_t, vsize_t);
163 	void	(*mco_intern_sdcache_sync_range_index)(vaddr_t, vsize_t);
164 	void	(*mco_intern_sdcache_sync_range)(register_t, vsize_t);
167 	void	(*mco_intern_sdcache_wbinv_range_index)(vaddr_t, vsize_t);