equal
deleted
inserted
replaced
3632 } |
3632 } |
3633 #endif |
3633 #endif |
3634 |
3634 |
3635 return JNI_OK; |
3635 return JNI_OK; |
3636 } |
3636 } |
3637 |
|
3638 // this is called at the end of vm_initialization |
|
3639 void os::init_3(void) { } |
|
3640 |
3637 |
3641 // Mark the polling page as unreadable |
3638 // Mark the polling page as unreadable |
3642 void os::make_polling_page_unreadable(void) { |
3639 void os::make_polling_page_unreadable(void) { |
3643 if (!guard_memory((char*)_polling_page, Bsd::page_size())) { |
3640 if (!guard_memory((char*)_polling_page, Bsd::page_size())) { |
3644 fatal("Could not disable polling page"); |
3641 fatal("Could not disable polling page"); |