All of lore.kernel.org
 help / color / mirror / Atom feed
From: Ian Campbell <Ian.Campbell@citrix.com>
To: Julien Grall <julien.grall@citrix.com>
Cc: Julian Pidancet <julian.pidancet@citrix.com>,
	"xen-devel@lists.xensource.com" <xen-devel@lists.xensource.com>,
	"qemu-devel@nongnu.org" <qemu-devel@nongnu.org>,
	Stefano Stabellini <Stefano.Stabellini@eu.citrix.com>
Subject: Re: [Qemu-devel] [Xen-devel] [XEN][RFC PATCH 09/15] xc: Add the hypercall for multiple servers
Date: Fri, 23 Mar 2012 11:37:16 +0000	[thread overview]
Message-ID: <1332502636.30916.27.camel@zakaz.uk.xensource.com> (raw)
In-Reply-To: <7d41fea1a8c57eb5dcb4d60f0da75dad705030b6.1332430811.git.julien.grall@citrix.com>

On Thu, 2012-03-22 at 15:59 +0000, Julien Grall wrote:
> This patch add 5 hypercalls to register server, io range and PCI.
> 
> Signed-off-by: Julien Grall <julien.grall@citrix.com>
> ---
>  tools/libxc/xc_domain.c |  140 +++++++++++++++++++++++++++++++++++++++++++++++
>  tools/libxc/xenctrl.h   |   13 ++++
>  2 files changed, 153 insertions(+), 0 deletions(-)
> 
> diff --git a/tools/libxc/xc_domain.c b/tools/libxc/xc_domain.c
> index d98e68b..8067397 100644
> --- a/tools/libxc/xc_domain.c
> +++ b/tools/libxc/xc_domain.c
> @@ -1514,6 +1514,146 @@ int xc_domain_set_virq_handler(xc_interface *xch, uint32_t domid, int virq)
>      return do_domctl(xch, &domctl);
>  }
>  
> +int xc_hvm_register_ioreq_server(xc_interface *xch, domid_t dom, servid_t *id)
> +{
> +    DECLARE_HYPERCALL;
> +    DECLARE_HYPERCALL_BUFFER(xen_hvm_register_ioreq_server_t, arg);
> +    int rc = -1;
> +
> +    arg = xc_hypercall_buffer_alloc(xch, arg, sizeof (*arg));
> +    if (!arg) {

Xen Coding style calls for
      if ( !arg )
      {

here and elsewhere in this patch.

> +        PERROR("Could not allocate memory for xc_hvm_register_ioreq_server hypercall");
> +        goto out;
> +    }
> +
> +    hypercall.op        = __HYPERVISOR_hvm_op;
> +    hypercall.arg[0]    = HVMOP_register_ioreq_server;
> +    hypercall.arg[1]    = HYPERCALL_BUFFER_AS_ARG(arg);
> +
> +    arg->domid = dom;
> +    rc = do_xen_hypercall(xch, &hypercall);
> +    *id = arg->id;

You could just return this if it's always +ve (vs -ve errors). Similarly
in xc_hvm_get_ioreq_server_buf_channel

> +
> +    xc_hypercall_buffer_free(xch, arg);
> +out:
> +    return rc;
> +}
> +
> +int xc_hvm_get_ioreq_server_buf_channel(xc_interface *xch, domid_t dom, servid_t id,
> +                                        unsigned int *channel)

channel should be evtchn_port_t, or if you decide to return it instead
evtchn_port_or_error_t.

> +{
> +    DECLARE_HYPERCALL;
> +    DECLARE_HYPERCALL_BUFFER(xen_hvm_get_ioreq_server_buf_channel_t, arg);
> +    int rc = -1;
> +
> +    arg = xc_hypercall_buffer_alloc(xch, arg, sizeof (*arg));
> +    if (!arg) {
> +        PERROR("Could not allocate memory for xc_hvm_get_ioreq_servr_buf_channel");
> +        goto out;
> +    }
> +
> +    hypercall.op        = __HYPERVISOR_hvm_op;
> +    hypercall.arg[0]    = HVMOP_get_ioreq_server_buf_channel;
> +    hypercall.arg[1]    = HYPERCALL_BUFFER_AS_ARG(arg);
> +
> +    arg->domid = dom;
> +    arg->id = id;
> +    rc = do_xen_hypercall(xch, &hypercall);
> +    *channel = arg->channel;
> +
> +    xc_hypercall_buffer_free(xch, arg);
> +
> +out:
> +    return rc;
> +}
> +
> +int xc_hvm_map_io_range_to_ioreq_server(xc_interface *xch, domid_t dom, servid_t id,
> +                                        char is_mmio, uint64_t start, uint64_t end)

not sure char here  buys us anything, either bool or int would seem
fine.

> +{
> +    DECLARE_HYPERCALL;
> +    DECLARE_HYPERCALL_BUFFER(xen_hvm_map_io_range_to_ioreq_server_t, arg);
> +    int rc = -1;
> +
> +    arg = xc_hypercall_buffer_alloc(xch, arg, sizeof (*arg));
> +    if (!arg) {
> +        PERROR("Could not allocate memory for xc_hvm_map_io_range_to_ioreq_server hypercall");
> +        goto out;
> +    }
> +
> +    hypercall.op        = __HYPERVISOR_hvm_op;
> +    hypercall.arg[0]    = HVMOP_map_io_range_to_ioreq_server;
> +    hypercall.arg[1]    = HYPERCALL_BUFFER_AS_ARG(arg);
> +
> +    arg->domid = dom;
> +    arg->id = id;
> +    arg->is_mmio = is_mmio;
> +    arg->s = start;
> +    arg->e = end;
> +
> +    rc = do_xen_hypercall(xch, &hypercall);
> +
> +    xc_hypercall_buffer_free(xch, arg);
> +out:
> +    return rc;
> +}
> +
> +int xc_hvm_unmap_io_range_from_ioreq_server(xc_interface *xch, domid_t dom, servid_t id,
> +                                            char is_mmio, uint64_t addr)
> +{
> +    DECLARE_HYPERCALL;
> +    DECLARE_HYPERCALL_BUFFER(xen_hvm_unmap_io_range_from_ioreq_server_t, arg);
> +    int rc = -1;
> +
> +    arg = xc_hypercall_buffer_alloc(xch, arg, sizeof (*arg));
> +    if (!arg) {
> +        PERROR("Could not allocate memory for xc_hvm_unmap_io_range_from_ioreq_server hypercall");
> +        goto out;
> +    }
> +
> +    hypercall.op        = __HYPERVISOR_hvm_op;
> +    hypercall.arg[0]    = HVMOP_unmap_io_range_from_ioreq_server;
> +    hypercall.arg[1]    = HYPERCALL_BUFFER_AS_ARG(arg);
> +
> +    arg->domid = dom;
> +    arg->id = id;
> +    arg->is_mmio = is_mmio;
> +    arg->addr = addr;
> +    rc = do_xen_hypercall(xch, &hypercall);
> +
> +    xc_hypercall_buffer_free(xch, arg);
> +out:
> +    return rc;
> +}
> +
> +int xc_hvm_register_pcidev(xc_interface *xch, domid_t dom, servid_t id,
> +                           uint16_t bdf)
> +{
> +    DECLARE_HYPERCALL;
> +    DECLARE_HYPERCALL_BUFFER(xen_hvm_register_pcidev_t, arg);
> +    int rc = -1;
> +
> +    arg = xc_hypercall_buffer_alloc(xch, arg, sizeof (*arg));
> +    if (!arg)
> +    {
> +        PERROR("Could not allocate memory for xc_hvm_create_pci hypercall");
> +        goto out;
> +    }
> +
> +    hypercall.op        = __HYPERVISOR_hvm_op;
> +    hypercall.arg[0]    = HVMOP_register_pcidev;
> +    hypercall.arg[1]    = HYPERCALL_BUFFER_AS_ARG(arg);
> +
> +    arg->domid = dom;
> +    arg->id = id;
> +    arg->bdf = bdf;
> +    rc = do_xen_hypercall(xch, &hypercall);
> +
> +    xc_hypercall_buffer_free(xch, arg);
> +out:
> +    return rc;
> +}
> +
> +
>  /*
>   * Local variables:
>   * mode: C
> diff --git a/tools/libxc/xenctrl.h b/tools/libxc/xenctrl.h
> index 812e723..bcbfee5 100644
> --- a/tools/libxc/xenctrl.h
> +++ b/tools/libxc/xenctrl.h
> @@ -1648,6 +1648,19 @@ void xc_clear_last_error(xc_interface *xch);
>  int xc_set_hvm_param(xc_interface *handle, domid_t dom, int param, unsigned long value);
>  int xc_get_hvm_param(xc_interface *handle, domid_t dom, int param, unsigned long *value);
>  
> +int xc_hvm_register_ioreq_server(xc_interface *xch, domid_t dom, unsigned int *id);
> +int xc_hvm_get_ioreq_server_buf_channel(xc_interface *xch, domid_t dom, servid_t id,
> +                                        unsigned int *channel);
> +int xc_hvm_map_io_range_to_ioreq_server(xc_interface *xch, domid_t dom, unsigned int id,
> +                                        char is_mmio, uint64_t start, uint64_t end);
> +int xc_hvm_unmap_io_range_from_ioreq_server(xc_interface *xch, domid_t dom, unsigned int id,
> +                                            char is_mmio, uint64_t addr);
> +/*
> + * Register a PCI device
> + */
> +int xc_hvm_register_pcidev(xc_interface *xch, domid_t dom, unsigned int id,
> +                           uint16_t bdf);
> +
>  /* IA64 specific, nvram save */
>  int xc_ia64_save_to_nvram(xc_interface *xch, uint32_t dom);
>  

WARNING: multiple messages have this Message-ID (diff)
From: Ian Campbell <Ian.Campbell@citrix.com>
To: Julien Grall <julien.grall@citrix.com>
Cc: Julian Pidancet <julian.pidancet@citrix.com>,
	"xen-devel@lists.xensource.com" <xen-devel@lists.xensource.com>,
	"qemu-devel@nongnu.org" <qemu-devel@nongnu.org>,
	Stefano Stabellini <Stefano.Stabellini@eu.citrix.com>
Subject: Re: [XEN][RFC PATCH 09/15] xc: Add the hypercall for multiple servers
Date: Fri, 23 Mar 2012 11:37:16 +0000	[thread overview]
Message-ID: <1332502636.30916.27.camel@zakaz.uk.xensource.com> (raw)
In-Reply-To: <7d41fea1a8c57eb5dcb4d60f0da75dad705030b6.1332430811.git.julien.grall@citrix.com>

On Thu, 2012-03-22 at 15:59 +0000, Julien Grall wrote:
> This patch add 5 hypercalls to register server, io range and PCI.
> 
> Signed-off-by: Julien Grall <julien.grall@citrix.com>
> ---
>  tools/libxc/xc_domain.c |  140 +++++++++++++++++++++++++++++++++++++++++++++++
>  tools/libxc/xenctrl.h   |   13 ++++
>  2 files changed, 153 insertions(+), 0 deletions(-)
> 
> diff --git a/tools/libxc/xc_domain.c b/tools/libxc/xc_domain.c
> index d98e68b..8067397 100644
> --- a/tools/libxc/xc_domain.c
> +++ b/tools/libxc/xc_domain.c
> @@ -1514,6 +1514,146 @@ int xc_domain_set_virq_handler(xc_interface *xch, uint32_t domid, int virq)
>      return do_domctl(xch, &domctl);
>  }
>  
> +int xc_hvm_register_ioreq_server(xc_interface *xch, domid_t dom, servid_t *id)
> +{
> +    DECLARE_HYPERCALL;
> +    DECLARE_HYPERCALL_BUFFER(xen_hvm_register_ioreq_server_t, arg);
> +    int rc = -1;
> +
> +    arg = xc_hypercall_buffer_alloc(xch, arg, sizeof (*arg));
> +    if (!arg) {

Xen Coding style calls for
      if ( !arg )
      {

here and elsewhere in this patch.

> +        PERROR("Could not allocate memory for xc_hvm_register_ioreq_server hypercall");
> +        goto out;
> +    }
> +
> +    hypercall.op        = __HYPERVISOR_hvm_op;
> +    hypercall.arg[0]    = HVMOP_register_ioreq_server;
> +    hypercall.arg[1]    = HYPERCALL_BUFFER_AS_ARG(arg);
> +
> +    arg->domid = dom;
> +    rc = do_xen_hypercall(xch, &hypercall);
> +    *id = arg->id;

You could just return this if it's always +ve (vs -ve errors). Similarly
in xc_hvm_get_ioreq_server_buf_channel

> +
> +    xc_hypercall_buffer_free(xch, arg);
> +out:
> +    return rc;
> +}
> +
> +int xc_hvm_get_ioreq_server_buf_channel(xc_interface *xch, domid_t dom, servid_t id,
> +                                        unsigned int *channel)

channel should be evtchn_port_t, or if you decide to return it instead
evtchn_port_or_error_t.

> +{
> +    DECLARE_HYPERCALL;
> +    DECLARE_HYPERCALL_BUFFER(xen_hvm_get_ioreq_server_buf_channel_t, arg);
> +    int rc = -1;
> +
> +    arg = xc_hypercall_buffer_alloc(xch, arg, sizeof (*arg));
> +    if (!arg) {
> +        PERROR("Could not allocate memory for xc_hvm_get_ioreq_servr_buf_channel");
> +        goto out;
> +    }
> +
> +    hypercall.op        = __HYPERVISOR_hvm_op;
> +    hypercall.arg[0]    = HVMOP_get_ioreq_server_buf_channel;
> +    hypercall.arg[1]    = HYPERCALL_BUFFER_AS_ARG(arg);
> +
> +    arg->domid = dom;
> +    arg->id = id;
> +    rc = do_xen_hypercall(xch, &hypercall);
> +    *channel = arg->channel;
> +
> +    xc_hypercall_buffer_free(xch, arg);
> +
> +out:
> +    return rc;
> +}
> +
> +int xc_hvm_map_io_range_to_ioreq_server(xc_interface *xch, domid_t dom, servid_t id,
> +                                        char is_mmio, uint64_t start, uint64_t end)

not sure char here  buys us anything, either bool or int would seem
fine.

> +{
> +    DECLARE_HYPERCALL;
> +    DECLARE_HYPERCALL_BUFFER(xen_hvm_map_io_range_to_ioreq_server_t, arg);
> +    int rc = -1;
> +
> +    arg = xc_hypercall_buffer_alloc(xch, arg, sizeof (*arg));
> +    if (!arg) {
> +        PERROR("Could not allocate memory for xc_hvm_map_io_range_to_ioreq_server hypercall");
> +        goto out;
> +    }
> +
> +    hypercall.op        = __HYPERVISOR_hvm_op;
> +    hypercall.arg[0]    = HVMOP_map_io_range_to_ioreq_server;
> +    hypercall.arg[1]    = HYPERCALL_BUFFER_AS_ARG(arg);
> +
> +    arg->domid = dom;
> +    arg->id = id;
> +    arg->is_mmio = is_mmio;
> +    arg->s = start;
> +    arg->e = end;
> +
> +    rc = do_xen_hypercall(xch, &hypercall);
> +
> +    xc_hypercall_buffer_free(xch, arg);
> +out:
> +    return rc;
> +}
> +
> +int xc_hvm_unmap_io_range_from_ioreq_server(xc_interface *xch, domid_t dom, servid_t id,
> +                                            char is_mmio, uint64_t addr)
> +{
> +    DECLARE_HYPERCALL;
> +    DECLARE_HYPERCALL_BUFFER(xen_hvm_unmap_io_range_from_ioreq_server_t, arg);
> +    int rc = -1;
> +
> +    arg = xc_hypercall_buffer_alloc(xch, arg, sizeof (*arg));
> +    if (!arg) {
> +        PERROR("Could not allocate memory for xc_hvm_unmap_io_range_from_ioreq_server hypercall");
> +        goto out;
> +    }
> +
> +    hypercall.op        = __HYPERVISOR_hvm_op;
> +    hypercall.arg[0]    = HVMOP_unmap_io_range_from_ioreq_server;
> +    hypercall.arg[1]    = HYPERCALL_BUFFER_AS_ARG(arg);
> +
> +    arg->domid = dom;
> +    arg->id = id;
> +    arg->is_mmio = is_mmio;
> +    arg->addr = addr;
> +    rc = do_xen_hypercall(xch, &hypercall);
> +
> +    xc_hypercall_buffer_free(xch, arg);
> +out:
> +    return rc;
> +}
> +
> +int xc_hvm_register_pcidev(xc_interface *xch, domid_t dom, servid_t id,
> +                           uint16_t bdf)
> +{
> +    DECLARE_HYPERCALL;
> +    DECLARE_HYPERCALL_BUFFER(xen_hvm_register_pcidev_t, arg);
> +    int rc = -1;
> +
> +    arg = xc_hypercall_buffer_alloc(xch, arg, sizeof (*arg));
> +    if (!arg)
> +    {
> +        PERROR("Could not allocate memory for xc_hvm_create_pci hypercall");
> +        goto out;
> +    }
> +
> +    hypercall.op        = __HYPERVISOR_hvm_op;
> +    hypercall.arg[0]    = HVMOP_register_pcidev;
> +    hypercall.arg[1]    = HYPERCALL_BUFFER_AS_ARG(arg);
> +
> +    arg->domid = dom;
> +    arg->id = id;
> +    arg->bdf = bdf;
> +    rc = do_xen_hypercall(xch, &hypercall);
> +
> +    xc_hypercall_buffer_free(xch, arg);
> +out:
> +    return rc;
> +}
> +
> +
>  /*
>   * Local variables:
>   * mode: C
> diff --git a/tools/libxc/xenctrl.h b/tools/libxc/xenctrl.h
> index 812e723..bcbfee5 100644
> --- a/tools/libxc/xenctrl.h
> +++ b/tools/libxc/xenctrl.h
> @@ -1648,6 +1648,19 @@ void xc_clear_last_error(xc_interface *xch);
>  int xc_set_hvm_param(xc_interface *handle, domid_t dom, int param, unsigned long value);
>  int xc_get_hvm_param(xc_interface *handle, domid_t dom, int param, unsigned long *value);
>  
> +int xc_hvm_register_ioreq_server(xc_interface *xch, domid_t dom, unsigned int *id);
> +int xc_hvm_get_ioreq_server_buf_channel(xc_interface *xch, domid_t dom, servid_t id,
> +                                        unsigned int *channel);
> +int xc_hvm_map_io_range_to_ioreq_server(xc_interface *xch, domid_t dom, unsigned int id,
> +                                        char is_mmio, uint64_t start, uint64_t end);
> +int xc_hvm_unmap_io_range_from_ioreq_server(xc_interface *xch, domid_t dom, unsigned int id,
> +                                            char is_mmio, uint64_t addr);
> +/*
> + * Register a PCI device
> + */
> +int xc_hvm_register_pcidev(xc_interface *xch, domid_t dom, unsigned int id,
> +                           uint16_t bdf);
> +
>  /* IA64 specific, nvram save */
>  int xc_ia64_save_to_nvram(xc_interface *xch, uint32_t dom);
>  

  reply	other threads:[~2012-03-23 11:37 UTC|newest]

Thread overview: 80+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-03-22 15:59 [Qemu-devel] [XEN][RFC PATCH 00/15] QEMU disaggregation Julien Grall
2012-03-22 15:59 ` Julien Grall
2012-03-22 15:59 ` [Qemu-devel] [XEN][RFC PATCH 01/15] hvm: Modify interface to support multiple ioreq server Julien Grall
2012-03-22 15:59   ` Julien Grall
2012-03-23  8:18   ` [Qemu-devel] [Xen-devel] " Jan Beulich
2012-03-23  8:18     ` Jan Beulich
2012-03-26 12:32     ` [Qemu-devel] [Xen-devel] " Julien Grall
2012-03-26 12:53       ` Jan Beulich
2012-03-26 12:53       ` [Qemu-devel] [Xen-devel] " Jan Beulich
2012-03-26 12:32     ` Julien Grall
2012-03-23 11:33   ` [Qemu-devel] [Xen-devel] " Ian Campbell
2012-03-23 11:33     ` Ian Campbell
2012-04-12 19:33     ` [Xen-devel] " Julien Grall
2012-04-02 17:12   ` [Qemu-devel] " Ian Jackson
2012-04-02 17:12     ` Ian Jackson
2012-03-22 15:59 ` [Qemu-devel] [XEN][RFC PATCH 02/15] hvm: Add functions to handle ioreq servers Julien Grall
2012-03-22 15:59   ` Julien Grall
2012-03-22 15:59 ` [Qemu-devel] [XEN][RFC PATCH 03/15] hvm-pci: Handle PCI config space in Xen Julien Grall
2012-03-22 15:59   ` Julien Grall
2012-03-23  8:29   ` [Qemu-devel] [Xen-devel] " Jan Beulich
2012-03-23  8:29     ` Jan Beulich
2012-03-26 12:20     ` Julien Grall
2012-03-26 12:20     ` [Qemu-devel] [Xen-devel] " Julien Grall
2012-03-26 12:52       ` Jan Beulich
2012-03-26 12:52       ` [Qemu-devel] [Xen-devel] " Jan Beulich
2012-03-22 15:59 ` [Qemu-devel] [XEN][RFC PATCH 04/15] hvm: Change initialization/destruction of an hvm Julien Grall
2012-03-22 15:59   ` Julien Grall
2012-03-22 15:59 ` [Qemu-devel] [XEN][RFC PATCH 05/15] hvm: Modify hvm_op Julien Grall
2012-03-22 15:59   ` Julien Grall
2012-04-26 17:50   ` Christian Limpach
2012-03-22 15:59 ` [Qemu-devel] [XEN][RFC PATCH 06/15] hvm-io: IO refactoring with ioreq server Julien Grall
2012-03-22 15:59   ` Julien Grall
2012-03-22 15:59 ` [Qemu-devel] [XEN][RFC PATCH 07/15] hvm-io: send invalidate map cache to each registered servers Julien Grall
2012-03-22 15:59   ` Julien Grall
2012-03-22 15:59 ` [Qemu-devel] [XEN][RFC PATCH 08/15] hvm-io: Handle server in buffered IO Julien Grall
2012-03-22 15:59   ` Julien Grall
2012-03-22 15:59 ` [Qemu-devel] [XEN][RFC PATCH 09/15] xc: Add the hypercall for multiple servers Julien Grall
2012-03-22 15:59   ` Julien Grall
2012-03-23 11:37   ` Ian Campbell [this message]
2012-03-23 11:37     ` Ian Campbell
2012-03-22 15:59 ` [Qemu-devel] [XEN][RFC PATCH 10/15] xc: Add argument to allocate more special pages Julien Grall
2012-03-22 15:59   ` Julien Grall
2012-03-23 11:39   ` [Qemu-devel] [Xen-devel] " Ian Campbell
2012-03-23 11:39     ` Ian Campbell
2012-03-22 15:59 ` [Qemu-devel] [XEN][RFC PATCH 11/15] xc: Fix python build Julien Grall
2012-03-22 15:59   ` Julien Grall
2012-03-23 11:39   ` [Qemu-devel] [Xen-devel] " Ian Campbell
2012-03-23 11:39     ` Ian Campbell
2012-03-22 15:59 ` [Qemu-devel] [XEN][RFC PATCH 12/15] xl: Add interface to handle multiple device models Julien Grall
2012-03-22 15:59   ` Julien Grall
2012-03-23 11:47   ` [Qemu-devel] [Xen-devel] " Ian Campbell
2012-03-23 11:47     ` Ian Campbell
2012-03-23 13:06     ` [Qemu-devel] [Xen-devel] " Julien Grall
2012-03-23 13:06       ` Julien Grall
2012-03-23 13:55       ` [Qemu-devel] " Ian Campbell
2012-03-23 13:55         ` Ian Campbell
2012-03-22 15:59 ` [Qemu-devel] [XEN][RFC PATCH 13/15] xl-qmp: add device model id to qmp function Julien Grall
2012-03-22 15:59   ` Julien Grall
2012-03-22 15:59 ` [Qemu-devel] [XEN][RFC PATCH 14/15] xl-parsing: Parse the new option device_models Julien Grall
2012-03-22 15:59   ` Julien Grall
2012-04-02 17:11   ` [Qemu-devel] [Xen-devel] " Ian Jackson
2012-04-02 17:11     ` Ian Jackson
2012-04-03 10:05     ` [Qemu-devel] " Stefano Stabellini
2012-04-03 10:05       ` Stefano Stabellini
2012-04-03 13:31       ` [Qemu-devel] " Ian Jackson
2012-04-03 13:31         ` Ian Jackson
2012-04-03 13:54         ` [Qemu-devel] " Julien Grall
2012-04-03 13:54           ` Julien Grall
2012-04-03 14:02           ` [Qemu-devel] [Xen-devel] " Ian Jackson
2012-04-03 14:02             ` Ian Jackson
2012-04-03 14:16             ` [Qemu-devel] [Xen-devel] " Stefano Stabellini
2012-04-03 14:16               ` Stefano Stabellini
2012-04-03 14:23               ` [Qemu-devel] " Ian Jackson
2012-04-03 14:23                 ` Ian Jackson
2012-03-22 15:59 ` [Qemu-devel] [XEN][RFC PATCH 15/15] xl: Launch and destroy all device models Julien Grall
2012-03-22 15:59   ` Julien Grall
2012-03-22 16:59 ` [Qemu-devel] [Xen-devel] [XEN][RFC PATCH 00/15] QEMU disaggregation Tim Deegan
2012-03-22 16:59   ` Tim Deegan
2012-03-23 13:44   ` [Qemu-devel] [Xen-devel] " Julien Grall
2012-03-23 13:44     ` Julien Grall

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1332502636.30916.27.camel@zakaz.uk.xensource.com \
    --to=ian.campbell@citrix.com \
    --cc=Stefano.Stabellini@eu.citrix.com \
    --cc=julian.pidancet@citrix.com \
    --cc=julien.grall@citrix.com \
    --cc=qemu-devel@nongnu.org \
    --cc=xen-devel@lists.xensource.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.