[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Xen-ia64-devel] Re: PATCH: vcpu_set_psr

To: Tristan Gingold <tgingold@xxxxxxx>
From: Alex Williamson <alex.williamson@xxxxxx>
Date: Thu, 31 May 2007 15:17:03 -0600
Cc: Xen-ia64-devel <xen-ia64-devel@xxxxxxxxxxxxxxxxxxx>
Delivery-date: Thu, 31 May 2007 14:15:01 -0700
List-id: Discussion of the ia64 port of Xen <xen-ia64-devel.lists.xensource.com>

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

References:
- [Xen-ia64-devel] PATCH: vcpu_set_psr
  - From: Tristan Gingold

Prev by Date: Re: [Xen-ia64-devel] PATCH: reimplement vcpu_get_psr
Next by Date: Re: [Xen-ia64-devel] [PATCH]: Small fix in using allocate_resource() in dom0
Previous by thread: [Xen-ia64-devel] PATCH: vcpu_set_psr
Next by thread: [Xen-ia64-devel] [PATCH] quieten lookup_domain_mpa() when domain is dying.
Index(es):
- Date
- Thread

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.