mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-28 15:24:43 +02:00
8139170: JVMCI refresh
Reviewed-by: kvn
This commit is contained in:
parent
a4e16dd190
commit
a38ea495d6
246 changed files with 4445 additions and 2901 deletions
|
@ -603,6 +603,7 @@ public:
|
|||
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 maybe_invalidate_installed_code();
|
||||
oop speculation_log() { return _speculation_log ; }
|
||||
void set_speculation_log(oop speculation_log) { _speculation_log = speculation_log; }
|
||||
#endif
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue