MinSFI: Add loader

src/include/minsfi.h

Index: src/include/minsfi.h
diff --git a/src/include/minsfi.h b/src/include/minsfi.h
new file mode 100644
index 0000000000000000000000000000000000000000..a57280d762464ea8f8185af483addb84234476a4
--- /dev/null
+++ b/src/include/minsfi.h
@@ -0,0 +1,32 @@
+/*
+ * Copyright (c) 2014 The Native Client Authors. All rights reserved.
+ * Use of this source code is governed by a BSD-style license that can be
+ * found in the LICENSE file.
+ */
+
+#ifndef NATIVE_CLIENT_SRC_INCLUDE_MINSFI_H_
+#define NATIVE_CLIENT_SRC_INCLUDE_MINSFI_H_
+
+#include <stdbool.h>
+#include <stdint.h>
+
+/*
+ * Allocates a memory region for the sandbox and initializes it. Returns TRUE
+ * if it was successful or if the sandbox has already been initialized.
+ */
+bool MinsfiInitializeSandbox(void);
+
+/*
+ * Invokes the entry function of the sandbox and returns the exit value
+ * returned by the sandbox. Returns EXIT_FAILURE if sandbox cannot be invoked,
+ * e.g. because it has not been initialized.
+ */
+int MinsfiInvokeSandbox(void);
+
+/*
+ * Destroys the MinSFI address subspace if there is one. Returns FALSE if
+ * a subspace exists but could not be destroyed.
+ */
+bool MinsfiDestroySandbox(void);
+
+#endif  // NATIVE_CLIENT_SRC_INCLUDE_MINSFI_H_