FHASLOCK
if ((fp->f_flag & FHASLOCK) && fp->f_type == DTYPE_VNODE &&
atomic_clear_int(&fp->f_flag, FHASLOCK); /* race ok */
atomic_set_int(&fp->f_flag, FHASLOCK); /* race ok */
atomic_set_int(&fp->f_flag, FHASLOCK); /* race ok */
atomic_set_int(&fp->f_flag, FHASLOCK); /* race ok */