On Mon, 2007-02-26 at 00:02 +0100, Tristan Gingold wrote:
> Hi,
>
> in vcpu_set_psr_l, psr is set but never read. This dead code is removed.
>
> I still do not understand why psr is read/set in vcpu_reset_psr_sm and
> vcpu_set_psr_sm. I think this is useless because psr is set at rfi from
> cr_ipsr. Furthermore this is not done in vcpu_set_psr_l.
Applied. Thanks,
Alex
--
Alex Williamson HP Open Source & Linux Org.
_______________________________________________
Xen-ia64-devel mailing list
[email protected]
http://lists.xensource.com/xen-ia64-devel
