K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2011-05-20T02:08:05.362602Z
K 7
svn:log
V 267
Avoid unnecessary sign extension when promoted to a 64-bit integer.

This was benign because the interruption info field is a 32-bit quantity and
the hardware guarantees that the upper 32-bits are all zeros. But it did make
reading the objdump output very confusing.

END