Re: [Xen-devel] [PATCH ARM v6 10/14] mini-os: arm: events

[Ian Campbell <Ian.Campbell@xxxxxxxxxx>]

On Wed, 2014-07-16 at 12:07 +0100, Thomas Leonard wrote:
> From: Karim Raslan <karim.allah.ahmed@xxxxxxxxx>
> 
> Signed-off-by: Karim Allah Ahmed <karim.allah.ahmed@xxxxxxxxx>
> Signed-off-by: Thomas Leonard <talex5@xxxxxxxxx>
> ---
>  extras/mini-os/arch/arm/events.c | 31 +++++++++++++++++++++++++++++++
>  1 file changed, 31 insertions(+)
>  create mode 100644 extras/mini-os/arch/arm/events.c
> 
> diff --git a/extras/mini-os/arch/arm/events.c 
> b/extras/mini-os/arch/arm/events.c
> new file mode 100644
> index 0000000..441010d
> --- /dev/null
> +++ b/extras/mini-os/arch/arm/events.c
> @@ -0,0 +1,31 @@
> +#include <mini-os/os.h>
> +#include <mini-os/events.h>
> +#include <mini-os/hypervisor.h>
> +#include <mini-os/console.h>
> +
> +static void virq_debug(evtchn_port_t port, struct pt_regs *regs, void 
> *params)
> +{
> +    printk("Received a virq_debug event\n");

It hardly seems worth the effort of receiving this ;-)

Acked-by: Ian Campbell <ian.campbell@xxxxxxxxxx>



_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel