mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-28 07:14:30 +02:00
Merge
This commit is contained in:
commit
3307d0f163
326 changed files with 9465 additions and 4610 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