Searched defs:pmap_idcache_wbinv_range (Results 1 - 1 of 1) sorted by relevance

/freebsd-10-stable/sys/arm/arm/
H A Dpmap.c1115 pmap_idcache_wbinv_range(pmap_t pm, vm_offset_t va, vm_size_t len) function

Completed in 101 milliseconds