VMCFG_IA32 56 core/avmfeatures.h #undef VMCFG_IA32 VMCFG_IA32 697 core/avmfeatures.h # define VMCFG_IA32