[PATCH] Mini-OS event channel hypercall update

[Grzegorz Milos <gm281@cam.ac.uk>]

[-- Attachment #1: Type: text/plain, Size: 192 bytes --]

Does what is says in the Subject line:

Mini-OS event channel hypercall update for 64-bit guests.

Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>

Keir could you apply please?

Thanks
Gregor

[-- Attachment #2: mini-os_hypercall.patch --]
[-- Type: text/plain, Size: 1523 bytes --]

diff -r 535cba1ae7c6 -r 8ed53f24279e extras/mini-os/Makefile
--- a/extras/mini-os/Makefile	Wed Nov 15 16:24:03 2006 +0000
+++ b/extras/mini-os/Makefile	Wed Nov 15 16:27:37 2006 +0000
@@ -122,6 +122,7 @@ clean:
 	rm -f *.o *~ core $(TARGET).elf $(TARGET).raw $(TARGET) $(TARGET).gz
 	rm -f libminios.a
 	find . -type l | xargs rm -f
+	rm -f tags TAGS
 
 %.o: %.c $(HDRS) Makefile
 	$(CC) $(CFLAGS) $(CPPFLAGS) -c $< -o $@
@@ -137,4 +138,7 @@ cscope:
 cscope:
 	$(all_sources) > cscope.files
 	cscope -k -b -q
-
+    
+.PHONY: tags
+tags:
+	$(all_sources) | xargs ctags
diff -r 535cba1ae7c6 -r 8ed53f24279e extras/mini-os/include/events.h
--- a/extras/mini-os/include/events.h	Wed Nov 15 16:24:03 2006 +0000
+++ b/extras/mini-os/include/events.h	Wed Nov 15 16:27:37 2006 +0000
@@ -20,7 +20,7 @@
 #define _EVENTS_H_
 
 #include<traps.h>
-#include <xen/event_channel.h>
+#include<xen/event_channel.h>
 
 typedef void (*evtchn_handler_t)(evtchn_port_t, struct pt_regs *, void *);
 
diff -r 535cba1ae7c6 -r 8ed53f24279e extras/mini-os/include/x86/x86_64/hypercall-x86_64.h
--- a/extras/mini-os/include/x86/x86_64/hypercall-x86_64.h	Wed Nov 15 16:24:03 2006 +0000
+++ b/extras/mini-os/include/x86/x86_64/hypercall-x86_64.h	Wed Nov 15 16:27:37 2006 +0000
@@ -235,9 +235,9 @@ HYPERVISOR_update_va_mapping(
 
 static inline int
 HYPERVISOR_event_channel_op(
-	void *op)
-{
-	return _hypercall1(int, event_channel_op, op);
+       int cmd, void *op)
+{
+    return _hypercall2(int, event_channel_op, cmd, op);
 }
 
 static inline int

[-- Attachment #3: Type: text/plain, Size: 138 bytes --]

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xensource.com
http://lists.xensource.com/xen-devel