$ 0 0 iflags: Use UINT64_C() for 64bit values UINT64_C() macro is used for iflags as it becomes 64bit. Signed-off-by: Jin Kyu Song <jin.kyu.song@intel.com> [DBH] insns.h