|  |  | 
  
    |  |  | 
 
  |   |  | 
  
    |  |  | 
  
    |  |  | 
  
    |   xen-ia64-devel
[Xen-ia64-devel] Re: PATCH: vcpu_set_psr 
| On Mon, 2007-05-28 at 17:14 +0200, Tristan Gingold wrote:
> Hi,
> 
> this patch creates vcpu_set_psr, which is called by vcpu_rfi.
> 
> Tested by compiling the kernel, without time regression.
   Applied.  Thanks,
        Alex
-- 
Alex Williamson                             HP Open Source & Linux Org.
_______________________________________________
Xen-ia64-devel mailing list
Xen-ia64-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-ia64-devel
 | 
 |  | 
  
    |  |  |