re #13613 rb4516 Tunables needs volatile keyword

*** 24,33 ****
--- 24,34 ----
   * Use is subject to license terms.
   */
  
  /*
   * Copyright (c) 2012, Joyent, Inc. All rights reserved.
+  * Copyright 2013 Nexenta Systems, Inc.  All rights reserved.
   */
  
  #include <sys/timer.h>
  #include <sys/systm.h>
  #include <sys/param.h>
*** 49,59 ****
  /*
   * Tunable to increase the maximum number of POSIX timers per-process.  This
   * may _only_ be tuned in /etc/system or by patching the kernel binary; it
   * _cannot_ be tuned on a running system.
   */
! int timer_max = _TIMER_MAX;
  
  /*
   * timer_lock() locks the specified interval timer.  It doesn't look at the
   * ITLK_REMOVE bit; it's up to callers to look at this if they need to
   * care.  p_lock must be held on entry; it may be dropped and reaquired,
--- 50,60 ----
  /*
   * Tunable to increase the maximum number of POSIX timers per-process.  This
   * may _only_ be tuned in /etc/system or by patching the kernel binary; it
   * _cannot_ be tuned on a running system.
   */
! volatile int timer_max = _TIMER_MAX;
  
  /*
   * timer_lock() locks the specified interval timer.  It doesn't look at the
   * ITLK_REMOVE bit; it's up to callers to look at this if they need to
   * care.  p_lock must be held on entry; it may be dropped and reaquired,