mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-28 15:24:43 +02:00
8301337: Remove unused os::_polling_page
Reviewed-by: coleenp, dnsimon
This commit is contained in:
parent
d583767bf1
commit
419409bcf6
4 changed files with 0 additions and 10 deletions
|
@ -81,7 +81,6 @@
|
|||
# include <errno.h>
|
||||
|
||||
OSThread* os::_starting_thread = nullptr;
|
||||
address os::_polling_page = nullptr;
|
||||
volatile unsigned int os::_rand_seed = 1234567;
|
||||
int os::_processor_count = 0;
|
||||
int os::_initial_active_processor_count = 0;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue