Home | History | Annotate | Download | only in include

Lines Matching refs:vsize_t

310 void	r4k_icache_sync_range_generic(register_t, vsize_t);
311 void	r4k_icache_sync_range_index_generic(vaddr_t, vsize_t);
317 void	cache_r4k_icache_index_inv_16(vaddr_t, vsize_t);
318 void	cache_r4k_icache_hit_inv_16(register_t, vsize_t);
319 void	cache_r4k_pdcache_index_wb_inv_16(vaddr_t, vsize_t);
320 void	cache_r4k_pdcache_hit_inv_16(register_t, vsize_t);
321 void	cache_r4k_pdcache_hit_wb_inv_16(register_t, vsize_t);
322 void	cache_r4k_pdcache_hit_wb_16(register_t, vsize_t);
326 void	cache_r4k_sdcache_index_wb_inv_16(vaddr_t, vsize_t);
327 void	cache_r4k_sdcache_hit_inv_16(register_t, vsize_t);
328 void	cache_r4k_sdcache_hit_wb_inv_16(register_t, vsize_t);
329 void	cache_r4k_sdcache_hit_wb_16(register_t, vsize_t);
333 void	cache_r4k_icache_index_inv_32(vaddr_t, vsize_t);
334 void	cache_r4k_icache_hit_inv_32(register_t, vsize_t);
335 void	cache_r4k_pdcache_index_wb_inv_32(vaddr_t, vsize_t);
336 void	cache_r4k_pdcache_hit_inv_32(register_t, vsize_t);
337 void	cache_r4k_pdcache_hit_wb_inv_32(register_t, vsize_t);
338 void	cache_r4k_pdcache_hit_wb_32(register_t, vsize_t);
342 void	cache_r4k_sdcache_index_wb_inv_32(vaddr_t, vsize_t);
343 void	cache_r4k_sdcache_hit_inv_32(register_t, vsize_t);
344 void	cache_r4k_sdcache_hit_wb_inv_32(register_t, vsize_t);
345 void	cache_r4k_sdcache_hit_wb_32(register_t, vsize_t);
349 void	cache_r4k_icache_index_inv_64(vaddr_t, vsize_t);
350 void	cache_r4k_icache_hit_inv_64(register_t, vsize_t);
351 void	cache_r4k_pdcache_index_wb_inv_64(vaddr_t, vsize_t);
352 void	cache_r4k_pdcache_hit_inv_64(register_t, vsize_t);
353 void	cache_r4k_pdcache_hit_wb_inv_64(register_t, vsize_t);
354 void	cache_r4k_pdcache_hit_wb_64(register_t, vsize_t);
358 void	cache_r4k_sdcache_index_wb_inv_64(vaddr_t, vsize_t);
359 void	cache_r4k_sdcache_hit_inv_64(register_t, vsize_t);
360 void	cache_r4k_sdcache_hit_wb_inv_64(register_t, vsize_t);
361 void	cache_r4k_sdcache_hit_wb_64(register_t, vsize_t);
365 void	cache_r4k_icache_index_inv_128(vaddr_t, vsize_t);
366 void	cache_r4k_icache_hit_inv_128(register_t, vsize_t);
367 void	cache_r4k_pdcache_index_wb_inv_128(vaddr_t, vsize_t);
368 void	cache_r4k_pdcache_hit_inv_128(register_t, vsize_t);
369 void	cache_r4k_pdcache_hit_wb_inv_128(register_t, vsize_t);
370 void	cache_r4k_pdcache_hit_wb_128(register_t, vsize_t);
374 void	cache_r4k_sdcache_index_wb_inv_128(vaddr_t, vsize_t);
375 void	cache_r4k_sdcache_hit_inv_128(register_t, vsize_t);
376 void	cache_r4k_sdcache_hit_wb_inv_128(register_t, vsize_t);
377 void	cache_r4k_sdcache_hit_wb_128(register_t, vsize_t);