[IA64] arch_vcpu_reset() stub

Signed-off-by: Alex Williamson <alex.williamson@hp.com>

diff --git a/xen/arch/ia64/xen/domain.c b/xen/arch/ia64/xen/domain.c
index 5eab071de5638c7d371c024fa92fef8d6b98c785..314f2c79b117fcd462255355220eb82126501a14 100644 (file)
--- a/xen/arch/ia64/xen/domain.c
+++ b/xen/arch/ia64/xen/domain.c
@@ -556,6 +556,12 @@ void arch_domain_destroy(struct domain *d)
        deallocate_rid_range(d);
 }
 
+int arch_vcpu_reset(struct vcpu *v)
+{
+       /* FIXME: Stub for now */
+       return 0;
+}
+
 void arch_get_info_guest(struct vcpu *v, vcpu_guest_context_u c)
 {
        int i;