mirror of
https://github.com/openjdk/jdk.git
synced 2025-09-17 17:44:40 +02:00
8245035: Clean up os::split_reserved_memory()
Reviewed-by: coleenp, stefank
This commit is contained in:
parent
d3e0c4ce9c
commit
939c0a46a7
11 changed files with 48 additions and 59 deletions
|
@ -44,13 +44,6 @@ inline bool os::must_commit_stack_guard_pages() {
|
|||
return true;
|
||||
}
|
||||
|
||||
|
||||
// On Linux, reservations are made on a page by page basis, nothing to do.
|
||||
inline void os::pd_split_reserved_memory(char *base, size_t size,
|
||||
size_t split, bool realloc) {
|
||||
}
|
||||
|
||||
|
||||
// Bang the shadow pages if they need to be touched to be mapped.
|
||||
inline void os::map_stack_shadow_pages(address sp) {
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue