tree c554c442a5008a2f3394ef8a556d2270245f14c8
parent c5616f2f874faa20b59b116177b99bf3948586df
author Patrick Bellasi <patrick.bellasi@arm.com> 1476376284 +0100
committer Andres Oportus <andresoportus@google.com> 1501799438 -0700

ANDROID: sched/{fair,tune}: use reciprocal_value to compute boost margin

Change-Id: I493b07360c46eee0b72c2a046dab9ec6cb3427ef
Signed-off-by: Patrick Bellasi <patrick.bellasi@arm.com>
Signed-off-by: Srinath Sridharan <srinathsr@google.com>
Signed-off-by: Quentin Perret <quentin.perret@arm.com>