diff options
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/attr-optimize.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/validation/attr-optimize.c b/validation/attr-optimize.c new file mode 100644 index 00000000..c45cbe89 --- /dev/null +++ b/validation/attr-optimize.c @@ -0,0 +1,16 @@ + +#define __noclone __attribute__((__noclone__, __optimize__("no-tracer"))) + +struct kvm_vcpu; + +static void __noclone vmx_vcpu_run(struct kvm_vcpu *vcpu) +{ + __asm__(""); +} + +extern void *run; +void *run = vmx_vcpu_run; + +/* + * check-name: optimize attributes + */ |