| /src/sys/arch/mips/include/ | 
| cache_r10k.h | 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);
 [all...]
 | 
| cache_mipsNN.h | 44 void	mipsNN_picache_sync_range(register_t, vsize_t); 45 void	mipsNN_picache_sync_range_index(vaddr_t, vsize_t);
 48 void	mipsNN_pdcache_wbinv_range_index(vaddr_t, vsize_t);
 51 void	mipsNN_sdcache_wbinv_range_index(vaddr_t, vsize_t);
 
 | 
| cache_r5k.h | 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);
 [all...]
 | 
| cache_r3k.h | 43 void	r3k_icache_sync_range(register_t, vsize_t); 47 void	r3k_pdcache_inv_range(register_t, vsize_t);
 48 void	r3k_pdcache_wb_range(register_t, vsize_t);
 
 | 
| cache_tx39.h | 147 void	tx3900_icache_sync_range_16(register_t, vsize_t); 151 void	tx3900_pdcache_inv_range_4(register_t, vsize_t);
 152 void	tx3900_pdcache_wb_range_4(register_t, vsize_t);
 155 void	tx3920_icache_sync_range_16wt(register_t, vsize_t);
 156 void	tx3920_icache_sync_range_16wb(register_t, vsize_t);
 160 void	tx3920_pdcache_wbinv_range_16wb(register_t, vsize_t);
 162 void	tx3920_pdcache_inv_range_16(register_t, vsize_t);
 163 void	tx3920_pdcache_wb_range_16wt(register_t, vsize_t);
 164 void	tx3920_pdcache_wb_range_16wb(register_t, vsize_t);
 166 void	tx3900_icache_do_inv_index_16(vaddr_t, vsize_t);
 [all...]
 | 
| cache_ls2.h | 107 void	ls2_icache_sync_range(register_t, vsize_t); 108 void	ls2_icache_sync_range_index(vaddr_t, vsize_t);
 111 void	ls2_pdcache_wbinv_range(register_t, vsize_t);
 112 void	ls2_pdcache_wbinv_range_index(vaddr_t, vsize_t);
 114 void	ls2_pdcache_inv_range(register_t, vsize_t);
 115 void	ls2_pdcache_wb_range(register_t, vsize_t);
 118 void	ls2_sdcache_wbinv_range(register_t, vsize_t);
 119 void	ls2_sdcache_wbinv_range_index(vaddr_t, vsize_t);
 121 void	ls2_sdcache_inv_range(register_t, vsize_t);
 122 void	ls2_sdcache_wb_range(register_t, vsize_t);
 [all...]
 | 
| cache_r4k.h | 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);
 [all...]
 | 
| cache_r5900.h | 130 void	r5900_icache_sync_range_64(register_t, vsize_t); 131 void	r5900_icache_sync_range_index_64(vaddr_t, vsize_t);
 134 void	r5900_pdcache_wbinv_range_64(register_t, vsize_t);
 135 void	r5900_pdcache_wbinv_range_index_64(vaddr_t, vsize_t);
 137 void	r5900_pdcache_inv_range_64(register_t, vsize_t);
 138 void	r5900_pdcache_wb_range_64(register_t, vsize_t);
 
 | 
| wired_map.h | 87 	vsize_t	pgmask; 96 bool	mips3_wired_enter_region(vaddr_t, paddr_t, vsize_t);
 101 bool	mips3_wired_enter_page(vaddr_t, paddr_t, vsize_t);
 
 | 
| cache_octeon.h | 77 void octeon_icache_sync_range(register_t va, vsize_t size); 78 void octeon_icache_sync_range_index(vaddr_t va, vsize_t size);
 80 void octeon_pdcache_inv_range(register_t va, vsize_t size);
 81 void octeon_pdcache_inv_range_index(vaddr_t va, vsize_t size);
 82 void octeon_pdcache_wb_range(register_t va, vsize_t size);
 
 | 
| cache.h | 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);
 [all...]
 | 
| /src/sys/arch/emips/emips/ | 
| machdep.h | 39 vaddr_t mips_map_physmem(paddr_t phys, vsize_t size); 40 void  mips_unmap_physmem(vaddr_t addr, vsize_t size);
 
 | 
| /src/sys/arch/arm/include/ | 
| cpufunc_proto.h | 93 void	arm8_cache_cleanID_rng	(vaddr_t, vsize_t); 94 void	arm8_cache_cleanD_rng	(vaddr_t, vsize_t);
 95 void	arm8_cache_purgeID_rng	(vaddr_t, vsize_t);
 96 void	arm8_cache_purgeD_rng	(vaddr_t, vsize_t);
 97 void	arm8_cache_syncI_rng	(vaddr_t, vsize_t);
 117 void	fa526_icache_sync_range(vaddr_t, vsize_t);
 119 void	fa526_dcache_wbinv_range(vaddr_t, vsize_t);
 120 void	fa526_dcache_inv_range	(vaddr_t, vsize_t);
 121 void	fa526_dcache_wb_range	(vaddr_t, vsize_t);
 123 void	fa526_idcache_wbinv_range(vaddr_t, vsize_t);
 [all...]
 | 
| /src/sys/arch/arc/include/ | 
| wired_map.h | 39 void	arc_wired_enter_page(vaddr_t, paddr_t, vsize_t); 40 vaddr_t	arc_contiguously_wired_mapped(paddr_t, vsize_t);
 41 vaddr_t	arc_map_wired(paddr_t, vsize_t);
 
 | 
| /src/usr.sbin/acpitools/ | 
| acpi_netbsd.h | 39 typedef vsize_t vm_size_t; 
 | 
| /src/sys/rump/kern/lib/libsljit/arch/aarch64/ | 
| cpufunc.c | 41 void aarch64_icache_sync_range(vaddr_t, vsize_t); 44 aarch64_icache_sync_range(vaddr_t va, vsize_t sz)
 
 | 
| /src/sys/rump/kern/lib/libsljit/arch/arm/ | 
| cpufunc.c | 41 static void icache_sync_range(vaddr_t, vsize_t); 48 icache_sync_range(vaddr_t va, vsize_t sz)
 
 | 
| /src/sys/rump/kern/lib/libsljit/arch/mips/ | 
| cache.c | 41 static void icache_sync_range(register_t, vsize_t); 48 icache_sync_range(register_t va, vsize_t sz)
 
 | 
| /src/sys/rump/librump/rumpkern/arch/arm/ | 
| cpufunc.c | 41 static void rump_icache_sync_range(vaddr_t, vsize_t); 48 rump_icache_sync_range(vaddr_t va, vsize_t sz)
 
 | 
| /src/sys/arch/powerpc/booke/ | 
| booke_cache.c | 47 dcbf(vaddr_t va, vsize_t off) 53 dcbst(vaddr_t va, vsize_t off)
 59 dcbi(vaddr_t va, vsize_t off)
 65 dcbz(vaddr_t va, vsize_t off)
 71 dcba(vaddr_t va, vsize_t off)
 77 icbi(vaddr_t va, vsize_t off)
 83 cache_op(vaddr_t va, vsize_t len, vsize_t line_size, enum cache_op op)
 94 	for (vsize_t i = 0; i < len; i += line_size) {
 142 dcache_wb(vaddr_t va, vsize_t len
 [all...]
 | 
| /src/sys/uvm/ | 
| uvm_fault.h | 46 	vsize_t orig_size;		/* IN: original size of interest */ 50 	vsize_t size;			/* size of interest */
 
 | 
| /src/sys/arch/sh3/include/ | 
| cache.h | 119 	void (*_icache_sync_range)(vaddr_t, vsize_t); 120 	void (*_icache_sync_range_index)(vaddr_t, vsize_t);
 123 	void (*_dcache_wbinv_range)(vaddr_t, vsize_t);
 124 	void (*_dcache_wbinv_range_index)(vaddr_t, vsize_t);
 125 	void (*_dcache_inv_range)(vaddr_t, vsize_t);
 126 	void (*_dcache_wb_range)(vaddr_t, vsize_t);
 
 | 
| /src/sys/arch/sh3/sh3/ | 
| cache.c | 52 	._icache_sync_range = (void (*)(vaddr_t, vsize_t))__cache_flush, 53 	._icache_sync_range_index = (void (*)(vaddr_t, vsize_t))__cache_flush,
 55 	._dcache_wbinv_range = (void (*)(vaddr_t, vsize_t))__cache_flush,
 56 	._dcache_wbinv_range_index = (void (*)(vaddr_t, vsize_t))__cache_flush,
 57 	._dcache_inv_range = (void (*)(vaddr_t, vsize_t))__cache_flush,
 58 	._dcache_wb_range = (void (*)(vaddr_t, vsize_t))__cache_flush
 
 | 
| /src/sys/dev/ic/ | 
| cs4231var.h | 56 	vsize_t t_segsz;	/* size of the segment */ 57 	vsize_t t_blksz;	/* call audio(9) after this many bytes */
 58 	vsize_t t_cnt;		/* how far are we into the segment */
 
 | 
| /src/sys/arch/arc/arc/ | 
| wired_map_machdep.c | 44     vsize_t *sizep); 46     vsize_t *sizep);
 109 arc_wired_map_paddr_entry(paddr_t pa, vaddr_t *vap, vsize_t *sizep)
 111 	vsize_t size;
 136 arc_wired_map_vaddr_entry(vaddr_t va, paddr_t *pap, vsize_t *sizep)
 138 	vsize_t size;
 160 arc_contiguously_wired_mapped(paddr_t pa, vsize_t size)
 164 	vsize_t vsize, offset;
 169 	offset = (vsize_t)pa & (vsize - 1);
 187 arc_map_wired(paddr_t pa, vsize_t size
 [all...]
 |