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