X86_FEATURE_VMMCALL
ALTERNATIVE("vmcall", "vmmcall", X86_FEATURE_VMMCALL)
set_cpu_cap(c, X86_FEATURE_VMMCALL);