1// SPDX-License-Identifier: GPL-2.0
2#include <jvmti.h>
3#include <jvmticmlr.h>
4
5int main(void)
6{
7	jvmtiCompiledMethodLoadInlineRecord	rec __attribute__((unused));
8	jvmtiCompiledMethodLoadRecordHeader	hdr __attribute__((unused));
9	PCStackInfo				p   __attribute__((unused));
10	return 0;
11}
12