re #13613 rb4516 Tunables needs volatile keyword

@@ -19,15 +19,17 @@
  * CDDL HEADER END
  */
 /*      Copyright (c) 1984, 1986, 1987, 1988, 1989 AT&T */
 /*        All Rights Reserved   */
 
-
 /*
  * Copyright 2009 Sun Microsystems, Inc.  All rights reserved.
  * Use is subject to license terms.
  */
+/*
+ * Copyright 2013 Nexenta Systems, Inc.  All rights reserved.
+ */
 
 #include <sys/types.h>
 #include <sys/t_lock.h>
 #include <sys/param.h>
 #include <sys/tuneable.h>

@@ -55,12 +57,12 @@
 #include <vm/hat.h>
 #include <vm/page.h>
 #include <vm/pvn.h>
 #include <vm/seg_kmem.h>
 
-int doiflush = 1;       /* non-zero to turn inode flushing on */
-int dopageflush = 1;    /* non-zero to turn page flushing on */
+volatile int doiflush = 1;      /* non-zero to turn inode flushing on */
+volatile int dopageflush = 1;   /* non-zero to turn page flushing on */
 
 /*
  * To improve boot performance, don't run the inode flushing loop until
  * the specified number of seconds after boot.  To revert to the old
  * behavior, set fsflush_iflush_delay to 0.  We have not created any new