Searched refs:r4k_icache_sync_range_index_16 (Results 1 - 3 of 3) sorted by relevance

/netbsd-6-1-5-RELEASE/sys/arch/mips/include/
H A Dcache_r4k.h340 void r4k_icache_sync_range_index_16(vaddr_t, vsize_t);
/netbsd-6-1-5-RELEASE/sys/arch/mips/mips/
H A Dcache_r4k.c100 r4k_icache_sync_range_index_16(vaddr_t va, vsize_t size) function
H A Dcache.c405 r4k_icache_sync_range_index_16;

Completed in 63 milliseconds