mirror of
https://github.com/openjdk/jdk.git
synced 2026-03-03 20:50:19 +00:00
Merge
This commit is contained in:
commit
c6b677315f
@ -1897,7 +1897,7 @@ jvmtiEnv *jvmti;
|
||||
</description>
|
||||
</param>
|
||||
<param id="monitor_info_ptr">
|
||||
<allocbuf outcount="owned_monitor_depth_count_ptr">
|
||||
<allocbuf outcount="monitor_info_count_ptr">
|
||||
<struct>jvmtiMonitorStackDepthInfo</struct>
|
||||
</allocbuf>
|
||||
<description>
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user