xfeatures_mask_independent
xchk = ~xfeatures_mask_independent();
xfeatures_mask_independent());
u64 mask = xfeatures_mask_independent();