[Xen-ia64-devel] PATCH: vcpu_set_psr

[Tristan Gingold <tgingold@xxxxxxx>]

Hi,

this patch implements vcpu_set_psr, which is called by vcpu_rfi.
I hope performance shouldn't be affected.
This implementation also fixes some incorrect assumptions in vcpu_rfi
(such as bn=1, ic = 1...).

Tristan.

Attachment: psr-2.diff
Description: Text document

_______________________________________________
Xen-ia64-devel mailing list
Xen-ia64-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-ia64-devel