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}