mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-28 07:14:30 +02:00
Merge
This commit is contained in:
commit
2f9e32256d
181 changed files with 8026 additions and 4055 deletions
|
@ -602,7 +602,7 @@ public:
|
|||
#if INCLUDE_JVMCI
|
||||
oop jvmci_installed_code() { return _jvmci_installed_code ; }
|
||||
char* jvmci_installed_code_name(char* buf, size_t buflen);
|
||||
void set_jvmci_installed_code(oop installed_code) { _jvmci_installed_code = installed_code; }
|
||||
void clear_jvmci_installed_code();
|
||||
void maybe_invalidate_installed_code();
|
||||
oop speculation_log() { return _speculation_log ; }
|
||||
void set_speculation_log(oop speculation_log) { _speculation_log = speculation_log; }
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue