From ed5b592b8e380a0cb71a8e4b8b47352c26ccdd65 Mon Sep 17 00:00:00 2001
From: cegger <cegger@NetBSD.org>
Date: Sat, 19 Apr 2008 12:10:08 +0000
Subject: [PATCH] idt_* are not implemented for Xen. So don't provide the
 prototypes for Xen.

---
 sys/arch/amd64/include/segments.h | 6 ++++--
 sys/arch/i386/include/segments.h  | 4 +++-
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/sys/arch/amd64/include/segments.h b/sys/arch/amd64/include/segments.h
index 93c84d054007..e58ef4eca829 100644
--- a/sys/arch/amd64/include/segments.h
+++ b/sys/arch/amd64/include/segments.h
@@ -1,4 +1,4 @@
-/*	$NetBSD: segments.h,v 1.17 2008/04/16 21:51:03 cegger Exp $	*/
+/*	$NetBSD: segments.h,v 1.18 2008/04/19 12:10:08 cegger Exp $	*/
 
 /*-
  * Copyright (c) 1990 The Regents of the University of California.
@@ -232,13 +232,15 @@ void set_sys_segment(struct sys_segment_descriptor *, void *, size_t,
 			  int, int, int);
 void set_mem_segment(struct mem_segment_descriptor *, void *, size_t,
 			  int, int, int, int, int);
+void cpu_init_idt(void);
 
+#if !defined(XEN)
 void idt_init(void);
 void idt_vec_reserve(int);
 int idt_vec_alloc(int, int);
 void idt_vec_set(int, void (*)(void));
 void idt_vec_free(int);
-void cpu_init_idt(void);
+#endif
 
 struct lwp;
 int memseg_baseaddr(struct lwp *, uint64_t, char *, int, uint64_t *);
diff --git a/sys/arch/i386/include/segments.h b/sys/arch/i386/include/segments.h
index a190721aafe1..4a8749bd5f32 100644
--- a/sys/arch/i386/include/segments.h
+++ b/sys/arch/i386/include/segments.h
@@ -1,4 +1,4 @@
-/*	$NetBSD: segments.h,v 1.48 2008/01/11 20:00:16 bouyer Exp $	*/
+/*	$NetBSD: segments.h,v 1.49 2008/04/19 12:10:08 cegger Exp $	*/
 
 /*-
  * Copyright (c) 1990 The Regents of the University of California.
@@ -198,11 +198,13 @@ void setgdt(int, const void *, size_t, int, int, int, int);
 void unsetgate(struct gate_descriptor *);
 void cpu_init_idt(void);
 
+#if !defined(XEN)
 void idt_init(void);
 void idt_vec_reserve(int);
 int idt_vec_alloc(int, int);
 void idt_vec_set(int, void (*)(void));
 void idt_vec_free(int);
+#endif
 
 #endif /* _KERNEL */