xref: /illumos-gate/usr/src/tools/smatch/src/validation/attr-optimize.c (revision 44bf619d328827ce5eca6833fcd5c69f1592e578)
1 
2 #define __noclone	__attribute__((__noclone__, __optimize__("no-tracer")))
3 
4 struct kvm_vcpu;
5 
6 static void __noclone vmx_vcpu_run(struct kvm_vcpu *vcpu)
7 {
8 	__asm__("");
9 }
10 
11 extern void *run;
12 void *run = vmx_vcpu_run;
13 
14 /*
15  * check-name: optimize attributes
16  */
17