Index: src/trusted/service_runtime/sel_memory.h |
=================================================================== |
--- src/trusted/service_runtime/sel_memory.h (revision 6420) |
+++ src/trusted/service_runtime/sel_memory.h (working copy) |
@@ -27,6 +27,9 @@ |
*/ |
#define MAX_RETRIES 1024 |
+int NaCl_find_prereserved_sandbox_memory(void **p, |
+ size_t num_bytes); |
+ |
int NaCl_page_alloc(void **p, |
size_t num_bytes) NACL_WUR; |