> I'm not sure any OS ever used it When nobody uses such a feature is typically either because it has worse performance then alternatives or some missing featu

> I'm not sure any OS ever used it When nobody uses such a feature is typically either because it has worse performance then alternatives or some missing feature. There have been many such cases in x86.