From d92111ff2c588e905630f61918c82f7da41e5777 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 8 May 2011 22:59:11 +0200
Subject: Remove mig-generated files

---
 boot-proxy-exc/bootstrap_S.h | 33 ---------------------------------
 1 file changed, 33 deletions(-)
 delete mode 100644 boot-proxy-exc/bootstrap_S.h

(limited to 'boot-proxy-exc/bootstrap_S.h')

diff --git a/boot-proxy-exc/bootstrap_S.h b/boot-proxy-exc/bootstrap_S.h
deleted file mode 100644
index a93c8052..00000000
--- a/boot-proxy-exc/bootstrap_S.h
+++ /dev/null
@@ -1,33 +0,0 @@
-#ifndef	_bootstrap_server_
-#define	_bootstrap_server_
-
-/* Module bootstrap */
-
-#include <mach/kern_return.h>
-#include <mach/port.h>
-#include <mach/message.h>
-
-#include <mach/std_types.h>
-
-/* Routine bootstrap_privileged_ports */
-#ifdef	mig_external
-mig_external
-#else
-extern
-#endif
-kern_return_t do_bootstrap_privileged_ports
-#if	defined(LINTLIBRARY)
-    (bootstrap, priv_host, priv_device)
-	mach_port_t bootstrap;
-	mach_port_t *priv_host;
-	mach_port_t *priv_device;
-{ return do_bootstrap_privileged_ports(bootstrap, priv_host, priv_device); }
-#else
-(
-	mach_port_t bootstrap,
-	mach_port_t *priv_host,
-	mach_port_t *priv_device
-);
-#endif
-
-#endif	/* not defined(_bootstrap_server_) */
-- 
cgit v1.2.3