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_sandbox_memory(void **p, |
Mark Seaborn
2011/08/16 17:34:10
Maybe name it something like "NaCl_find_prereserve
bbudge
2011/08/16 19:46:22
Done.
|
+ size_t num_bytes); |
+ |
int NaCl_page_alloc(void **p, |
size_t num_bytes) NACL_WUR; |