Modify the NaCl_page_alloc_hint function to use VirtualQuery to check

src/trusted/service_runtime/sel_memory.h

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_prereserved_sandbox_memory()", to make
it a little clearer?

[bbudge, 2011/08/16 19:46:22]

Done.

+                               size_t num_bytes);
+
 int   NaCl_page_alloc(void    **p,
                       size_t  num_bytes) NACL_WUR;