On Tue, May 23, 2017 at 10:38:17AM +0200, Vlastimil Babka wrote:> Those defined in the patch are binary, not decimal. Do we even need> decimal ones?Oh, good point. In which case the names should change to avoid theconfusion.