MAPDEV_SETATTR
(flags & MAPDEV_SETATTR) == 0))
if ((flags & MAPDEV_SETATTR) != 0) {
MAPDEV_SETATTR));
MAPDEV_SETATTR));
if ((flags & MAPDEV_SETATTR) == 0)
(flags & MAPDEV_SETATTR) == 0))
if ((flags & MAPDEV_SETATTR) == 0 && pmap_initialized) {
MAPDEV_SETATTR));
MAPDEV_SETATTR));