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

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

Completed in 62 milliseconds