<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <tt>Hi all,</tt><tt><br>
    </tt><tt><br>
    </tt><tt>We recently upgrade from CentOS 5.8 to CentOS 5.9 on
      kernel-xen-2.6.18-348.3.1.el5, and after booting into the new
      kernel, noted large amounts of these messages every second or so
      in the logs:</tt><tt><br>
    </tt><tt><br>
    </tt>
    <meta charset="utf-8">
    <tt><span style="color: rgb(0, 0, 0); font-size: 11px; font-style:
        normal; font-variant: normal; font-weight: normal;
        letter-spacing: normal; line-height: normal; text-align: start;
        text-indent: 0px; text-transform: none; white-space: normal;
        word-spacing: 0px; background-color: rgb(202, 202, 202);
        display: inline ! important; float: none;">Mar 30 21:38:35
        atlas2 kernel: Warning Timer ISR/0: Time went backwards:
        delta=-1393683849 delta_cpu=22316151 shadow=225003685197135
        off=129240997 processed=225005208029053
        cpu_processed=225003792029053</span></tt><tt><br>
    </tt><tt><span style="color: rgb(0, 0, 0); font-size: 11px;
        font-style: normal; font-variant: normal; font-weight: normal;
        letter-spacing: normal; line-height: normal; text-align: start;
        text-indent: 0px; text-transform: none; white-space: normal;
        word-spacing: 0px; background-color: rgb(202, 202, 202);
        display: inline ! important; float: none;"></span></tt><tt><br>
    </tt><tt><span style="color: rgb(0, 0, 0); font-size: 11px;
        font-style: normal; font-variant: normal; font-weight: normal;
        letter-spacing: normal; line-height: normal; text-align: start;
        text-indent: 0px; text-transform: none; white-space: normal;
        word-spacing: 0px; background-color: rgb(202, 202, 202);
        display: inline ! important; float: none;">On both the dom0 and
        the domUs.</span></tt><tt><br>
    </tt><tt><span style="color: rgb(0, 0, 0); font-size: 11px;
        font-style: normal; font-variant: normal; font-weight: normal;
        letter-spacing: normal; line-height: normal; text-align: start;
        text-indent: 0px; text-transform: none; white-space: normal;
        word-spacing: 0px; background-color: rgb(202, 202, 202);
        display: inline ! important; float: none;"></span></tt><tt><br>
    </tt><tt><span style="color: rgb(0, 0, 0); font-size: 11px;
        font-style: normal; font-variant: normal; font-weight: normal;
        letter-spacing: normal; line-height: normal; text-align: start;
        text-indent: 0px; text-transform: none; white-space: normal;
        word-spacing: 0px; background-color: rgb(202, 202, 202);
        display: inline ! important; float: none;">Some reading
        indicates that this _was_ a fault fixed in 2009/2010, but it
        seems to have resurfaced on the latest kernel.</span></tt><tt><br>
    </tt><tt><span style="color: rgb(0, 0, 0); font-size: 11px;
        font-style: normal; font-variant: normal; font-weight: normal;
        letter-spacing: normal; line-height: normal; text-align: start;
        text-indent: 0px; text-transform: none; white-space: normal;
        word-spacing: 0px; background-color: rgb(202, 202, 202);
        display: inline ! important; float: none;"></span></tt><tt><br>
    </tt><tt><span style="color: rgb(0, 0, 0); font-size: 11px;
        font-style: normal; font-variant: normal; font-weight: normal;
        letter-spacing: normal; line-height: normal; text-align: start;
        text-indent: 0px; text-transform: none; white-space: normal;
        word-spacing: 0px; background-color: rgb(202, 202, 202);
        display: inline ! important; float: none;">For now, we've
        reverted back to an earlier kernel.</span></tt><tt><br>
    </tt><tt><span style="color: rgb(0, 0, 0); font-size: 11px;
        font-style: normal; font-variant: normal; font-weight: normal;
        letter-spacing: normal; line-height: normal; text-align: start;
        text-indent: 0px; text-transform: none; white-space: normal;
        word-spacing: 0px; background-color: rgb(202, 202, 202);
        display: inline ! important; float: none;"></span></tt><tt><br>
    </tt><tt><span style="color: rgb(0, 0, 0); font-size: 11px;
        font-style: normal; font-variant: normal; font-weight: normal;
        letter-spacing: normal; line-height: normal; text-align: start;
        text-indent: 0px; text-transform: none; white-space: normal;
        word-spacing: 0px; background-color: rgb(202, 202, 202);
        display: inline ! important; float: none;">Has anybody else seen
        this recently, or got any insight?</span></tt><tt><br>
    </tt><tt><span style="color: rgb(0, 0, 0); font-size: 11px;
        font-style: normal; font-variant: normal; font-weight: normal;
        letter-spacing: normal; line-height: normal; text-align: start;
        text-indent: 0px; text-transform: none; white-space: normal;
        word-spacing: 0px; background-color: rgb(202, 202, 202);
        display: inline ! important; float: none;"></span></tt><tt><br>
    </tt><tt><span style="color: rgb(0, 0, 0); font-size: 11px;
        font-style: normal; font-variant: normal; font-weight: normal;
        letter-spacing: normal; line-height: normal; text-align: start;
        text-indent: 0px; text-transform: none; white-space: normal;
        word-spacing: 0px; background-color: rgb(202, 202, 202);
        display: inline ! important; float: none;">Thanks,</span></tt><tt><br>
    </tt><tt><span style="color: rgb(0, 0, 0); font-size: 11px;
        font-style: normal; font-variant: normal; font-weight: normal;
        letter-spacing: normal; line-height: normal; text-align: start;
        text-indent: 0px; text-transform: none; white-space: normal;
        word-spacing: 0px; background-color: rgb(202, 202, 202);
        display: inline ! important; float: none;">David</span></tt><br>
    <span style="color: rgb(0, 0, 0); font-family: Verdana, Arial,
      Helvetica, sans-serif; font-size: 11px; font-style: normal;
      font-variant: normal; font-weight: normal; letter-spacing: normal;
      line-height: normal; orphans: auto; text-align: start;
      text-indent: 0px; text-transform: none; white-space: normal;
      widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;
      background-color: rgb(202, 202, 202); display: inline !important;
      float: none;"></span><span style="color: rgb(0, 0, 0);
      font-family: Verdana, Arial, Helvetica, sans-serif; font-size:
      11px; font-style: normal; font-variant: normal; font-weight:
      normal; letter-spacing: normal; line-height: normal; orphans:
      auto; text-align: start; text-indent: 0px; text-transform: none;
      white-space: normal; widows: auto; word-spacing: 0px;
      -webkit-text-stroke-width: 0px; background-color: rgb(202, 202,
      202); display: inline !important; float: none;"></span><br>
    <br>
  </body>
</html>