param_key: use get_name_sym_from_key() instead of return_state_to_var_sym()

[smatch.git] / validation / attr-optimize.c

#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
 */