equal
deleted
inserted
replaced
272 static char* non_memory_address_word(); |
272 static char* non_memory_address_word(); |
273 // reserve, commit and pin the entire memory region |
273 // reserve, commit and pin the entire memory region |
274 static char* reserve_memory_special(size_t size, char* addr = NULL, |
274 static char* reserve_memory_special(size_t size, char* addr = NULL, |
275 bool executable = false); |
275 bool executable = false); |
276 static bool release_memory_special(char* addr, size_t bytes); |
276 static bool release_memory_special(char* addr, size_t bytes); |
277 static bool large_page_init(); |
277 static void large_page_init(); |
278 static size_t large_page_size(); |
278 static size_t large_page_size(); |
279 static bool can_commit_large_page_memory(); |
279 static bool can_commit_large_page_memory(); |
280 static bool can_execute_large_page_memory(); |
280 static bool can_execute_large_page_memory(); |
281 |
281 |
282 // OS interface to polling page |
282 // OS interface to polling page |