is_64bit
fsm.is64bit = is_64bit(state);
#define XS64(x) (is_64bit ? x##64 : x)
fpu_area_save(void *area, uint64_t xsave_features, bool is_64bit)
fpu_area_restore(const void *area, uint64_t xsave_features, bool is_64bit)