re #13613 rb4516 Tunables needs volatile keyword

*** 20,29 ****
--- 20,32 ----
   */
  /*
   * Copyright 2009 Sun Microsystems, Inc.  All rights reserved.
   * Use is subject to license terms.
   */
+ /*
+  * Copyright 2013 Nexenta Systems, Inc.  All rights reserved.
+  */
  
  /* Copyright (c) 1984, 1986, 1987, 1988, 1989 AT&T */
  /*      All Rights Reserved   */
  
  /*
*** 55,65 ****
  #include <sys/random.h>
  
  uint_t page_colors = 0;
  uint_t page_colors_mask = 0;
  uint_t page_coloring_shift = 0;
! int consistent_coloring;
  int update_proc_pgcolorbase_after_fork = 1;
  
  uint_t mmu_page_sizes = MMU_PAGE_SIZES;
  uint_t max_mmu_page_sizes = MMU_PAGE_SIZES;
  uint_t mmu_hashcnt = MAX_HASHCNT;
--- 58,68 ----
  #include <sys/random.h>
  
  uint_t page_colors = 0;
  uint_t page_colors_mask = 0;
  uint_t page_coloring_shift = 0;
! volatile int consistent_coloring;
  int update_proc_pgcolorbase_after_fork = 1;
  
  uint_t mmu_page_sizes = MMU_PAGE_SIZES;
  uint_t max_mmu_page_sizes = MMU_PAGE_SIZES;
  uint_t mmu_hashcnt = MAX_HASHCNT;