__INTEL_NUM_FLAGS
for (int i = 0; i < __INTEL_NUM_FLAGS; i++)
DECLARE_BITMAP(flags, __INTEL_NUM_FLAGS);