type: introduce get_final_type()
[smatch.git] / validation / attr-optimize.c
blobc45cbe8994a9263d420b7bbf1810ff8015cb4620
2 #define __noclone __attribute__((__noclone__, __optimize__("no-tracer")))
4 struct kvm_vcpu;
6 static void __noclone vmx_vcpu_run(struct kvm_vcpu *vcpu)
8 __asm__("");
11 extern void *run;
12 void *run = vmx_vcpu_run;
15 * check-name: optimize attributes