# HG changeset patch
# User Tristan Gingold <tgingold@xxxxxxx>
# Date 1203312598 -3600
# Node ID e2b8468d4bc6b9ab5d9d6699ee3f13a9c7ee47e3
# Parent  4cd5a4f036c4482a87d4e158c55e56deacaf84d6
Fix warning.

Signed-off-by: Tristan Gingold <tgingold@xxxxxxx>

diff -r 4cd5a4f036c4 -r e2b8468d4bc6 xen/include/asm-ia64/vmx_vcpu.h
--- a/xen/include/asm-ia64/vmx_vcpu.h	Mon Feb 18 06:29:28 2008 +0100
+++ b/xen/include/asm-ia64/vmx_vcpu.h	Mon Feb 18 06:29:58 2008 +0100
@@ -54,6 +54,7 @@ extern int check_indirect_reg_rsv_fields
 extern int check_indirect_reg_rsv_fields(int type, int index, u64 value);
 extern u64 set_isr_ei_ni(VCPU * vcpu);
 extern u64 set_isr_for_na_inst(VCPU * vcpu, int op);
+extern void set_illegal_op_isr (VCPU *vcpu);
 
 /* next all for VTI domain APIs definition */
 extern void vmx_vcpu_set_psr(VCPU * vcpu, unsigned long value);