Home | History | Annotate | Download | only in include

Lines Matching refs:vsize_t

41 void	r5k_picache_sync_range(register_t, vsize_t);
42 void	r5k_picache_sync_range_index(vaddr_t, vsize_t);
45 void	r5k_pdcache_wbinv_range_index(vaddr_t, vsize_t);
46 void	r4600v1_pdcache_wbinv_range_32(register_t, vsize_t);
47 void	r4600v2_pdcache_wbinv_range_32(register_t, vsize_t);
48 void	vr4131v1_pdcache_wbinv_range_16(register_t, vsize_t);
50 void	r4600v1_pdcache_inv_range_32(register_t, vsize_t);
51 void	r4600v2_pdcache_inv_range_32(register_t, vsize_t);
52 void	r4600v1_pdcache_wb_range_32(register_t, vsize_t);
53 void	r4600v2_pdcache_wb_range_32(register_t, vsize_t);
58 void	r5k_sdcache_wbinv_range(register_t, vsize_t);
59 void	r5k_sdcache_wbinv_range_index(vaddr_t, vsize_t);
60 void	r5k_sdcache_inv_range(register_t, vsize_t);
61 void	r5k_sdcache_wb_range(register_t, vsize_t);