Home | History | Annotate | Download | only in include

Lines Matching refs:vsize_t

73 void	r10k_icache_sync_range(register_t, vsize_t);
74 void	r10k_icache_sync_range_index(vaddr_t, vsize_t);
76 void	r10k_pdcache_wbinv_range(register_t, vsize_t);
77 void	r10k_pdcache_wbinv_range_index(vaddr_t, vsize_t);
78 void	r10k_pdcache_inv_range(register_t, vsize_t);
79 void	r10k_pdcache_wb_range(register_t, vsize_t);
81 void	r10k_sdcache_wbinv_range(register_t, vsize_t);
82 void	r10k_sdcache_wbinv_range_index(vaddr_t, vsize_t);
83 void	r10k_sdcache_inv_range(register_t, vsize_t);
84 void	r10k_sdcache_wb_range(register_t, vsize_t);