On 21 November 2012 07:21, Joey Gouly <joey.gouly at arm.com> wrote: > Hi all, > > The penalty parameter has been unused since r158920. > > This patch removes it, please review! You can also remove the "unsigned Penalty" field. LGTM with that. > Thanks, > Joey Cheers, Rafael