<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>