1511 res = pd_release_memory(addr, bytes); |
1511 res = pd_release_memory(addr, bytes); |
1512 } |
1512 } |
1513 return res; |
1513 return res; |
1514 } |
1514 } |
1515 |
1515 |
|
1516 void os::pretouch_memory(char* start, char* end) { |
|
1517 for (volatile char *p = start; p < end; p += os::vm_page_size()) { |
|
1518 *p = 0; |
|
1519 } |
|
1520 } |
1516 |
1521 |
1517 char* os::map_memory(int fd, const char* file_name, size_t file_offset, |
1522 char* os::map_memory(int fd, const char* file_name, size_t file_offset, |
1518 char *addr, size_t bytes, bool read_only, |
1523 char *addr, size_t bytes, bool read_only, |
1519 bool allow_exec) { |
1524 bool allow_exec) { |
1520 char* result = pd_map_memory(fd, file_name, file_offset, addr, bytes, read_only, allow_exec); |
1525 char* result = pd_map_memory(fd, file_name, file_offset, addr, bytes, read_only, allow_exec); |