diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-05-08 22:59:11 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-05-08 22:59:11 +0200 |
| commit | d92111ff2c588e905630f61918c82f7da41e5777 (patch) | |
| tree | 0bf4c10ef6d050ca2ef0f250796556c135a0fa89 /boot-proxy-exc/bootstrap_S.h | |
| parent | 0bbd7fe0f7db3d9d4633c581d3ed9d2e5e7dd136 (diff) | |
Remove mig-generated files
Diffstat (limited to 'boot-proxy-exc/bootstrap_S.h')
| -rw-r--r-- | boot-proxy-exc/bootstrap_S.h | 33 |
1 files changed, 0 insertions, 33 deletions
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_) */ |