MAPDEV_FLUSHCACHE
if ((flags & MAPDEV_FLUSHCACHE) != 0)
return (pmap_mapdev_internal(pa, size, mode, MAPDEV_FLUSHCACHE |
MAPDEV_FLUSHCACHE));
MAPDEV_FLUSHCACHE);
if ((flags & MAPDEV_FLUSHCACHE) != 0)