HomeSort by: relevance | last modified time | path
    Searched defs:r4k_pdcache_wbinv_all (Results 1 - 1 of 1) sorted by relevancy

  /src/sys/arch/ews4800mips/stand/common/
loader.c 43 void r4k_pdcache_wbinv_all(uint32_t);
122 r4k_pdcache_wbinv_all(PD_CACHE_SIZE);
150 r4k_pdcache_wbinv_all(PD_CACHE_SIZE);
210 r4k_pdcache_wbinv_all(PD_CACHE_SIZE);
231 r4k_pdcache_wbinv_all(uint32_t pdcache_size) function in typeref:typename:void

Completed in 12 milliseconds