# HG changeset patch
# User gingold@virtu10
# Node ID e85eb1425baaa314ef10cb600c376bba3c9a8298
# Parent  3e54734e55f39419678afd1ce1a9a96669fa69ef
Avoid compile-time warnings.

Signed-off-by: Tristan Gingold <tristan.gingold@xxxxxxxx>

diff -r 3e54734e55f3 -r e85eb1425baa xen/include/asm-ia64/grant_table.h
--- a/xen/include/asm-ia64/grant_table.h	Wed Aug 23 13:26:46 2006 -0600
+++ b/xen/include/asm-ia64/grant_table.h	Thu Aug 24 08:07:26 2006 +0200
@@ -35,7 +35,7 @@ void guest_physmap_add_page(struct domai
                           gnttab_shared_maddr((d), (t), (i)));          \
         (IA64_GRANT_TABLE_PADDR >> PAGE_SHIFT) + (i);})
 
-#define gnttab_mark_dirty(d, f) ((void)0)
+#define gnttab_mark_dirty(d, f) ((void)f)
 
 static inline void gnttab_clear_flag(unsigned long nr, uint16_t *addr)
 {
diff -r 3e54734e55f3 -r e85eb1425baa xen/include/asm-ia64/vmx.h
--- a/xen/include/asm-ia64/vmx.h	Wed Aug 23 13:26:46 2006 -0600
+++ b/xen/include/asm-ia64/vmx.h	Thu Aug 24 08:07:26 2006 +0200
@@ -55,6 +55,7 @@ extern void vmx_relinquish_guest_resourc
 extern void vmx_relinquish_guest_resources(struct domain *d);
 extern void vmx_relinquish_vcpu_resources(struct vcpu *v);
 extern void vmx_die_if_kernel(char *str, struct pt_regs *regs, long err);
+extern void vmx_send_assist_req(struct vcpu *v);
 
 static inline vcpu_iodata_t *get_vio(struct domain *d, unsigned long cpu)
 {