equal
deleted
inserted
replaced
1703 res = pd_release_memory(addr, bytes); |
1703 res = pd_release_memory(addr, bytes); |
1704 } |
1704 } |
1705 return res; |
1705 return res; |
1706 } |
1706 } |
1707 |
1707 |
1708 void os::pretouch_memory(void* start, void* end) { |
1708 void os::pretouch_memory(void* start, void* end, size_t page_size) { |
1709 for (volatile char *p = (char*)start; p < (char*)end; p += os::vm_page_size()) { |
1709 for (volatile char *p = (char*)start; p < (char*)end; p += page_size) { |
1710 *p = 0; |
1710 *p = 0; |
1711 } |
1711 } |
1712 } |
1712 } |
1713 |
1713 |
1714 char* os::map_memory(int fd, const char* file_name, size_t file_offset, |
1714 char* os::map_memory(int fd, const char* file_name, size_t file_offset, |