|
|
|
|
|
|
|
|
|
|
xen-ia64-devel
[Xen-ia64-devel] PATCH: vcpu_set_psr
Hi,
this patch creates vcpu_set_psr, which is called by vcpu_rfi.
Tested by compiling the kernel, without time regression.
Tristan.
vpsr-2.diff
Description: Text document
_______________________________________________
Xen-ia64-devel mailing list
Xen-ia64-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-ia64-devel
|
|
|
|
|